Is the distribution rule not applied?

[HA6Bots]

Thanks for the amazing library. However I had a query in regards to the simplification of the following expression: (a and not (b and c)) or (a and (b and c)) The expected output would be: a Looking through the code during the simplification process the distributive function doesn't appear to be called.