Predicate LogicalExprCouldBeSimplified::booleanLiteral

predicate booleanLiteral(Literal l)