Use structurally_normalize
instead of manual normalizes-to
goals in alias relate errors
#147101
Loading