creation of external invariants
simple invariant creation for IntDomList