added tests of formula optimazation for AND operator.