Cleaning and documenting Clenv.make_evar_clause