method vstmt s =
    current_stmt <- Kstmt s;
    DoChildren