Lines Matching defs:BooleanFormula