method vstmt s = sloc <- sloc + 1 ; begin match s.skind with | If _ -> ifs <- ifs + 1 | Loop _ -> loops <- loops + 1 | Goto _ -> gotos <- gotos + 1 | _ -> () end; DoChildren