update since genv_to_i2 was removed from conLangProof