added make_invariant_from_property