alternative witness for cenv_inv_to_mod

not sure if this was necessary; it looks slightly better but may be
equivalent