update proof of eval_i3_genv_weakening