Don't force the IdInfo of a variable *occurrence* in exprSize, just the binding sites should be enough.