Infer: Towards TypeRef logic
Get rid of getVars tracking (incorrect as it is)