add test coverage for boolean literals, negation, conjunction, disjunction and quantification