Added distribute_and_over_or and test_distribute_and_over_or