counterexample for tweaked statement for prompt_to_i2_correct

shows that throwing away the new envC if an error occurs is not good
enough.