Document another instsimplify assumption.