Other bugs with "inversion as" (collision between user-provided names and generated equation names).
Keeping a sub-optimal behavior of intros_possibly_replacing for compatibility with inversion