this is useful to find the model out of a set of propagation elements.
this is useful to find the model out of a set of propagation elements.
some propagation elements, typically, variables lsitened by some invariants
the model that the invariant belongs to