Cycle detection in Infer, not Deref
Oops: no need to rename in matchGetPar
VarEscapesScope test