InferM.liftGuidAliases
Deref: Extract restrictionsOfBody
Remove restrictions computation in Deref, it should be maintained directly in RefData