Property RERS17pb113-PT-8-ReachabilityCardinality-00
  "Automatically generated"
  is:
    E F ((((((#tokens("p179")) <= (#tokens("p609")))) & (((((#tokens("p238")) <= (#tokens("p419")))) & (((#tokens("p264")) <= (#tokens("p389")))))))) & (! ! ((2) <= (#tokens("p575")))))
  end.
Property RERS17pb113-PT-8-ReachabilityCardinality-01
  "Automatically generated"
  is:
    E F ((! ((((3) <= (#tokens("p314")))) & (((#tokens("p528")) <= (#tokens("p134")))))) & (((2) <= (#tokens("p7")))))
  end.
Property RERS17pb113-PT-8-ReachabilityCardinality-02
  "Automatically generated"
  is:
    A G ((#tokens("p397")) <= (#tokens("p221")))
  end.
Property RERS17pb113-PT-8-ReachabilityCardinality-03
  "Automatically generated"
  is:
    E F ((((#tokens("p84")) <= (#tokens("p449")))) & (((((((#tokens("p384")) <= (#tokens("p205")))) & (((1) <= (#tokens("p360")))))) & (! ((#tokens("p632")) <= (#tokens("p555")))))))
  end.
Property RERS17pb113-PT-8-ReachabilityCardinality-04
  "Automatically generated"
  is:
    A G ((! ((((3) <= (#tokens("p13")))) & (((2) <= (#tokens("p135")))))) & (((! ((3) <= (#tokens("p37")))) & (! ((3) <= (#tokens("p53")))))))
  end.
Property RERS17pb113-PT-8-ReachabilityCardinality-05
  "Automatically generated"
  is:
    E F ((((! ((#tokens("p527")) <= (#tokens("p90")))) | (((((3) <= (#tokens("p402")))) & (((#tokens("p599")) <= (#tokens("p103")))))))) & (((((#tokens("p580")) <= (#tokens("p306")))) & (((((#tokens("p405")) <= (#tokens("p505")))) | (((2) <= (#tokens("p50")))))))))
  end.
Property RERS17pb113-PT-8-ReachabilityCardinality-06
  "Automatically generated"
  is:
    E F ! ((! ((3) <= (#tokens("p598")))) | (((#tokens("p633")) <= (#tokens("p197")))))
  end.
Property RERS17pb113-PT-8-ReachabilityCardinality-07
  "Automatically generated"
  is:
    A G ((((((((#tokens("p334")) <= (#tokens("p510")))) & (((#tokens("p211")) <= (#tokens("p609")))))) & (((((3) <= (#tokens("p519")))) & (((1) <= (#tokens("p637")))))))) | (! ((((3) <= (#tokens("p246")))) | (((2) <= (#tokens("p4")))))))
  end.
Property RERS17pb113-PT-8-ReachabilityCardinality-08
  "Automatically generated"
  is:
    E F ((! ((((1) <= (#tokens("p34")))) & (((3) <= (#tokens("p332")))))) & (! ((((#tokens("p175")) <= (#tokens("p150")))) & (((#tokens("p587")) <= (#tokens("p356")))))))
  end.
Property RERS17pb113-PT-8-ReachabilityCardinality-09
  "Automatically generated"
  is:
    E F ((! ((((#tokens("p293")) <= (#tokens("p96")))) & (((#tokens("p504")) <= (#tokens("p600")))))) & (((#tokens("p343")) <= (#tokens("p504")))))
  end.
Property RERS17pb113-PT-8-ReachabilityCardinality-10
  "Automatically generated"
  is:
    A G ! ((((((#tokens("p446")) <= (#tokens("p90")))) | (((#tokens("p43")) <= (#tokens("p550")))))) & (((((2) <= (#tokens("p57")))) & (((2) <= (#tokens("p625")))))))
  end.
Property RERS17pb113-PT-8-ReachabilityCardinality-11
  "Automatically generated"
  is:
    A G ((! ! ((#tokens("p54")) <= (#tokens("p229")))) | (! ((((2) <= (#tokens("p61")))) | (((#tokens("p309")) <= (#tokens("p277")))))))
  end.
Property RERS17pb113-PT-8-ReachabilityCardinality-12
  "Automatically generated"
  is:
    E F ! ((#tokens("p210")) <= (#tokens("p498")))
  end.
Property RERS17pb113-PT-8-ReachabilityCardinality-13
  "Automatically generated"
  is:
    A G ((#tokens("p133")) <= (#tokens("p161")))
  end.
Property RERS17pb113-PT-8-ReachabilityCardinality-14
  "Automatically generated"
  is:
    A G ((((((((#tokens("p181")) <= (#tokens("p164")))) | (((2) <= (#tokens("p291")))))) | (((((1) <= (#tokens("p164")))) | (((#tokens("p295")) <= (#tokens("p611")))))))) | (((! ((#tokens("p60")) <= (#tokens("p352")))) & (! ((#tokens("p365")) <= (#tokens("p350")))))))
  end.
Property RERS17pb113-PT-8-ReachabilityCardinality-15
  "Automatically generated"
  is:
    E F ! ((#tokens("p604")) <= (#tokens("p458")))
  end.
