method
set_current_stmt s =
Kstmt
s