method set_current_stmt s = current_stmt <- Kstmt s