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