Do loop-invariant hoisting in a simplification rule.