memoize the state simplification matcher, as simplification is expensive