Simplify LogicMatcher