method
vstmt s =
match
s.skind
with
Instr
_
->
begin
SkipChildren
end
|
_
->
DoChildren