Tests for the JIT pattern matcher.