method vstmt s = all_stmts := s :: (!all_stmts); LiveFlow.StmtStartData.add s.sid VS.empty; DoChildren