Add a unit test for and-or-not synonyms.