method vvrbl (v: varinfo) = if (!considerVariableDef) v && not(!onlyNoOffsetsAreDefs) then varDefs := VS.add v !varDefs; SkipChildren