AndToContext Contextual Inference PatternMatcher Rule