Split BoolExpr integration tests into separate test files.
Replace Rewriter.sexpr_grammar by Processor.grammar.