-Znext-solver: eagerly normalize when adding goals
#125343
Merged
-Znext-solver: eagerly normalize when adding goals
#125343