Another test FormulaParserTest
LogicState added