Property RERS17pb115-PT-9-ReachabilityCardinality-00
  "Automatically generated"
  is:
    A G ((#tokens("p273")) <= (#tokens("p456")))
  end.
Property RERS17pb115-PT-9-ReachabilityCardinality-01
  "Automatically generated"
  is:
    A G ((((((#tokens("p641")) <= (#tokens("p940")))) | (((((#tokens("p675")) <= (#tokens("p1226")))) | (((2) <= (#tokens("p680")))))))) & (((((#tokens("p480")) <= (#tokens("p463")))) | (! ((#tokens("p222")) <= (#tokens("p1236")))))))
  end.
Property RERS17pb115-PT-9-ReachabilityCardinality-02
  "Automatically generated"
  is:
    A G ((#tokens("p420")) <= (#tokens("p553")))
  end.
Property RERS17pb115-PT-9-ReachabilityCardinality-03
  "Automatically generated"
  is:
    E F ((! ((((2) <= (#tokens("p1139")))) & (((3) <= (#tokens("p1193")))))) & (((3) <= (#tokens("p1157")))))
  end.
Property RERS17pb115-PT-9-ReachabilityCardinality-04
  "Automatically generated"
  is:
    A G ((! ((1) <= (#tokens("p488")))) & (((((((#tokens("p344")) <= (#tokens("p1152")))) & (((#tokens("p465")) <= (#tokens("p1071")))))) | (! ((1) <= (#tokens("p832")))))))
  end.
Property RERS17pb115-PT-9-ReachabilityCardinality-05
  "Automatically generated"
  is:
    A G ((((#tokens("p583")) <= (#tokens("p394")))) & (((! ((2) <= (#tokens("p1063")))) | (((((3) <= (#tokens("p1310")))) | (((#tokens("p344")) <= (#tokens("p25")))))))))
  end.
Property RERS17pb115-PT-9-ReachabilityCardinality-06
  "Automatically generated"
  is:
    A G ((#tokens("p1250")) <= (#tokens("p608")))
  end.
Property RERS17pb115-PT-9-ReachabilityCardinality-07
  "Automatically generated"
  is:
    E F ((3) <= (#tokens("p273")))
  end.
Property RERS17pb115-PT-9-ReachabilityCardinality-08
  "Automatically generated"
  is:
    E F ! ! ! ((#tokens("p1231")) <= (#tokens("p219")))
  end.
Property RERS17pb115-PT-9-ReachabilityCardinality-09
  "Automatically generated"
  is:
    E F ((! ((((3) <= (#tokens("p478")))) | (((2) <= (#tokens("p570")))))) & (((2) <= (#tokens("p859")))))
  end.
Property RERS17pb115-PT-9-ReachabilityCardinality-10
  "Automatically generated"
  is:
    E F ((2) <= (#tokens("p903")))
  end.
Property RERS17pb115-PT-9-ReachabilityCardinality-11
  "Automatically generated"
  is:
    E F ((((1) <= (#tokens("p982")))) & (((3) <= (#tokens("p1119")))))
  end.
Property RERS17pb115-PT-9-ReachabilityCardinality-12
  "Automatically generated"
  is:
    A G ((((2) <= (#tokens("p942")))) | (! ((1) <= (#tokens("p756")))))
  end.
Property RERS17pb115-PT-9-ReachabilityCardinality-13
  "Automatically generated"
  is:
    A G ((#tokens("p82")) <= (#tokens("p290")))
  end.
Property RERS17pb115-PT-9-ReachabilityCardinality-14
  "Automatically generated"
  is:
    A G ((((((((2) <= (#tokens("p478")))) | (((#tokens("p661")) <= (#tokens("p622")))))) | (((((#tokens("p985")) <= (#tokens("p732")))) | (((#tokens("p2")) <= (#tokens("p113")))))))) & (((((#tokens("p408")) <= (#tokens("p1091")))) | (((((3) <= (#tokens("p157")))) | (((#tokens("p996")) <= (#tokens("p1014")))))))))
  end.
Property RERS17pb115-PT-9-ReachabilityCardinality-15
  "Automatically generated"
  is:
    E F ((2) <= (#tokens("p1253")))
  end.
