prove cenv_inv_to_mod
minor bug fix in lift_conjunct_conv