substitution.sim-depends-on-induced-choice → substitution.sim-depends-on-induced-choice