Predicate TypeInference::asModulePattern

Holds if SSA definition def belongs to a variable introduced via pattern matching on type m. For example, in

case object
  in C => c then c.foo
end

the SSA definition for c is introduced by matching on C.