method
set_current_stmt s = current_stmt <-
Kstmt
s