Normalize the RHS of an Unsize
goal in the new solver
#113393
Merged
Unsize
goal in the new solver
#113393