Also add test cases for invalid formulae. And fix |= to &= - better all
tests be successful instead of any one.