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