method
vstmt s =
current_stmt <-
Kstmt
s;
DoChildren