Property RERS17pb113-PT-5-ReachabilityCardinality-00
  "Automatically generated"
  is:
    A G ! ! ! ((1) <= (#tokens("p169")))
  end.
Property RERS17pb113-PT-5-ReachabilityCardinality-01
  "Automatically generated"
  is:
    E F ((((! ((#tokens("p430")) <= (#tokens("p352")))) | (((#tokens("p546")) <= (#tokens("p556")))))) & (((! ((1) <= (#tokens("p494")))) & (! ((#tokens("p574")) <= (#tokens("p570")))))))
  end.
Property RERS17pb113-PT-5-ReachabilityCardinality-02
  "Automatically generated"
  is:
    A G ! ((((((#tokens("p408")) <= (#tokens("p537")))) & (((#tokens("p494")) <= (#tokens("p126")))))) & (((((#tokens("p598")) <= (#tokens("p132")))) & (((3) <= (#tokens("p16")))))))
  end.
Property RERS17pb113-PT-5-ReachabilityCardinality-03
  "Automatically generated"
  is:
    E F ((2) <= (#tokens("p401")))
  end.
Property RERS17pb113-PT-5-ReachabilityCardinality-04
  "Automatically generated"
  is:
    E F ((((((((1) <= (#tokens("p161")))) | (((#tokens("p51")) <= (#tokens("p604")))))) | (((((3) <= (#tokens("p169")))) | (((3) <= (#tokens("p513")))))))) & (((((((#tokens("p333")) <= (#tokens("p15")))) | (((#tokens("p423")) <= (#tokens("p353")))))) & (((3) <= (#tokens("p13")))))))
  end.
Property RERS17pb113-PT-5-ReachabilityCardinality-05
  "Automatically generated"
  is:
    E F ((2) <= (#tokens("p102")))
  end.
Property RERS17pb113-PT-5-ReachabilityCardinality-06
  "Automatically generated"
  is:
    A G ((((((((3) <= (#tokens("p32")))) & (((#tokens("p451")) <= (#tokens("p94")))))) | (((2) <= (#tokens("p433")))))) | (((#tokens("p148")) <= (#tokens("p634")))))
  end.
Property RERS17pb113-PT-5-ReachabilityCardinality-07
  "Automatically generated"
  is:
    A G ! ((((((#tokens("p258")) <= (#tokens("p276")))) & (((2) <= (#tokens("p628")))))) & (! ((3) <= (#tokens("p86")))))
  end.
Property RERS17pb113-PT-5-ReachabilityCardinality-08
  "Automatically generated"
  is:
    E F ((2) <= (#tokens("p241")))
  end.
Property RERS17pb113-PT-5-ReachabilityCardinality-09
  "Automatically generated"
  is:
    E F ((3) <= (#tokens("p275")))
  end.
Property RERS17pb113-PT-5-ReachabilityCardinality-10
  "Automatically generated"
  is:
    A G ((#tokens("p470")) <= (#tokens("p100")))
  end.
Property RERS17pb113-PT-5-ReachabilityCardinality-11
  "Automatically generated"
  is:
    E F ((! ((((3) <= (#tokens("p142")))) | (((#tokens("p458")) <= (#tokens("p34")))))) & (! ((((#tokens("p168")) <= (#tokens("p121")))) | (((1) <= (#tokens("p160")))))))
  end.
Property RERS17pb113-PT-5-ReachabilityCardinality-12
  "Automatically generated"
  is:
    E F ! ((! ((#tokens("p304")) <= (#tokens("p501")))) | (! ((1) <= (#tokens("p621")))))
  end.
Property RERS17pb113-PT-5-ReachabilityCardinality-13
  "Automatically generated"
  is:
    A G ((((((#tokens("p232")) <= (#tokens("p478")))) | (! ((#tokens("p477")) <= (#tokens("p468")))))) | (((((((2) <= (#tokens("p443")))) | (((1) <= (#tokens("p462")))))) & (! ((#tokens("p172")) <= (#tokens("p273")))))))
  end.
Property RERS17pb113-PT-5-ReachabilityCardinality-14
  "Automatically generated"
  is:
    A G ((((! ((#tokens("p93")) <= (#tokens("p255")))) | (((((#tokens("p119")) <= (#tokens("p191")))) & (((#tokens("p477")) <= (#tokens("p323")))))))) | (((2) <= (#tokens("p252")))))
  end.
Property RERS17pb113-PT-5-ReachabilityCardinality-15
  "Automatically generated"
  is:
    A G ((((((((#tokens("p162")) <= (#tokens("p144")))) & (((#tokens("p234")) <= (#tokens("p271")))))) | (((#tokens("p320")) <= (#tokens("p606")))))) | (((((((3) <= (#tokens("p205")))) & (((3) <= (#tokens("p162")))))) | (((((2) <= (#tokens("p514")))) & (((#tokens("p334")) <= (#tokens("p380")))))))))
  end.
