current_statement::=