Do not take universes into account in lia reification.

This is slightly blunt, it might be the case that we get delayed constraints
that cannot be solved resulting in a later universe inconsistency, but it looks
highly unlikely on arithmetical statements.

Alternatively we would have threaded the unification state, but this would
have required a much deeper change.

Fixes #9268.

0 files changed, 0 insertions, 0 deletions