added filtering over boolean formulas