Language Abuse/SimplifyBoolExpr.ql