method vvdec v = if isStructOrUnionType v.vtype && not v.vformal then begin v.vtype <- mkTRef v.vtype; varset := VarinfoSet.add v !varset end; DoChildren