add exhaustive_env_correct to the conclusion of decs_to_i2_correct

thankfully this wasn't too hard to add. will make establishing cenv_inv
in prompt_to_i2_correct one bit easier.