method set_current_stmt s = Kstmt s