Make itno_invariant stronger.