Robust/src/RepairTest/specs/Example2/Example2.model

   1 [], true => e in Example;
   2 [forall l in Example], true => <l, l.x> in X;
   3 [forall l in Example], true => <l, l.y> in Y;
   4 [forall l in Example], true => <l, l.z> in Z;