Property RERS17pb114-PT-9-ReachabilityCardinality-00
  "Automatically generated"
  is:
    E F ! ((((((#tokens("p708")) <= (#tokens("p178")))) | (((#tokens("p837")) <= (#tokens("p726")))))) | (((#tokens("p274")) <= (#tokens("p479")))))
  end.
Property RERS17pb114-PT-9-ReachabilityCardinality-01
  "Automatically generated"
  is:
    A G ((((#tokens("p269")) <= (#tokens("p695")))) | (((3) <= (#tokens("p535")))))
  end.
Property RERS17pb114-PT-9-ReachabilityCardinality-02
  "Automatically generated"
  is:
    E F ((((#tokens("p237")) <= (#tokens("p1045")))) & (((((((#tokens("p70")) <= (#tokens("p1181")))) & (((3) <= (#tokens("p504")))))) & (((#tokens("p683")) <= (#tokens("p1262")))))))
  end.
Property RERS17pb114-PT-9-ReachabilityCardinality-03
  "Automatically generated"
  is:
    E F ((1) <= (#tokens("p1088")))
  end.
Property RERS17pb114-PT-9-ReachabilityCardinality-04
  "Automatically generated"
  is:
    A G ((#tokens("p181")) <= (#tokens("p576")))
  end.
Property RERS17pb114-PT-9-ReachabilityCardinality-05
  "Automatically generated"
  is:
    E F ((! ((((#tokens("p453")) <= (#tokens("p1225")))) | (((#tokens("p1168")) <= (#tokens("p525")))))) & (! ((3) <= (#tokens("p142")))))
  end.
Property RERS17pb114-PT-9-ReachabilityCardinality-06
  "Automatically generated"
  is:
    A G ((((((((1) <= (#tokens("p95")))) & (((#tokens("p1298")) <= (#tokens("p409")))))) | (((((#tokens("p638")) <= (#tokens("p167")))) | (((1) <= (#tokens("p745")))))))) | (((! ((#tokens("p207")) <= (#tokens("p920")))) | (((((#tokens("p579")) <= (#tokens("p912")))) | (((#tokens("p493")) <= (#tokens("p847")))))))))
  end.
Property RERS17pb114-PT-9-ReachabilityCardinality-07
  "Automatically generated"
  is:
    A G ((! ((3) <= (#tokens("p965")))) & (((((2) <= (#tokens("p486")))) | (((((#tokens("p445")) <= (#tokens("p1432")))) | (((3) <= (#tokens("p600")))))))))
  end.
Property RERS17pb114-PT-9-ReachabilityCardinality-08
  "Automatically generated"
  is:
    E F ((((3) <= (#tokens("p1299")))) & (((! ((1) <= (#tokens("p1234")))) & (((((1) <= (#tokens("p288")))) & (((#tokens("p356")) <= (#tokens("p611")))))))))
  end.
Property RERS17pb114-PT-9-ReachabilityCardinality-09
  "Automatically generated"
  is:
    E F ((! ! ((#tokens("p377")) <= (#tokens("p381")))) & (((2) <= (#tokens("p89")))))
  end.
Property RERS17pb114-PT-9-ReachabilityCardinality-10
  "Automatically generated"
  is:
    E F ((1) <= (#tokens("p933")))
  end.
Property RERS17pb114-PT-9-ReachabilityCardinality-11
  "Automatically generated"
  is:
    E F ((! ((((#tokens("p390")) <= (#tokens("p332")))) & (((#tokens("p862")) <= (#tokens("p584")))))) & (((2) <= (#tokens("p809")))))
  end.
Property RERS17pb114-PT-9-ReachabilityCardinality-12
  "Automatically generated"
  is:
    A G ! ((! ((#tokens("p24")) <= (#tokens("p385")))) | (((((#tokens("p39")) <= (#tokens("p304")))) & (((2) <= (#tokens("p311")))))))
  end.
Property RERS17pb114-PT-9-ReachabilityCardinality-13
  "Automatically generated"
  is:
    E F ((((2) <= (#tokens("p797")))) | (((3) <= (#tokens("p1310")))))
  end.
Property RERS17pb114-PT-9-ReachabilityCardinality-14
  "Automatically generated"
  is:
    E F ((((2) <= (#tokens("p239")))) | (((((#tokens("p252")) <= (#tokens("p691")))) & (((((1) <= (#tokens("p1001")))) & (((#tokens("p644")) <= (#tokens("p1224")))))))))
  end.
Property RERS17pb114-PT-9-ReachabilityCardinality-15
  "Automatically generated"
  is:
    E F ((! ((#tokens("p434")) <= (#tokens("p736")))) & (! ((((1) <= (#tokens("p33")))) & (((#tokens("p1357")) <= (#tokens("p233")))))))
  end.
