method vlval l = let tp = typeOfLval l in if (Ciltools.is_volatile_tp tp) then flag := true; DoChildren