push on exp_to_i4_correct slightly more

reduced to a single cheat about being able to use an equivalent
environment when translating with exp_to_i4.