variable_goal_normalized_in_clause_body(ok).