check_expression