Property RERS17pb113-PT-4-ReachabilityCardinality-00
  "Automatically generated"
  is:
    A G ((#tokens("p613")) <= (#tokens("p234")))
  end.
Property RERS17pb113-PT-4-ReachabilityCardinality-01
  "Automatically generated"
  is:
    E F ((((((((3) <= (#tokens("p212")))) & (((2) <= (#tokens("p387")))))) & (! ((#tokens("p273")) <= (#tokens("p563")))))) & (((3) <= (#tokens("p598")))))
  end.
Property RERS17pb113-PT-4-ReachabilityCardinality-02
  "Automatically generated"
  is:
    E F ((((! ((2) <= (#tokens("p476")))) | (((1) <= (#tokens("p149")))))) & (((((#tokens("p620")) <= (#tokens("p242")))) & (((1) <= (#tokens("p629")))))))
  end.
Property RERS17pb113-PT-4-ReachabilityCardinality-03
  "Automatically generated"
  is:
    A G ((((((#tokens("p512")) <= (#tokens("p327")))) | (((#tokens("p227")) <= (#tokens("p393")))))) | (((3) <= (#tokens("p572")))))
  end.
Property RERS17pb113-PT-4-ReachabilityCardinality-04
  "Automatically generated"
  is:
    A G ((((((1) <= (#tokens("p158")))) & (((#tokens("p62")) <= (#tokens("p79")))))) | (((#tokens("p75")) <= (#tokens("p19")))))
  end.
Property RERS17pb113-PT-4-ReachabilityCardinality-05
  "Automatically generated"
  is:
    A G ((#tokens("p534")) <= (#tokens("p565")))
  end.
Property RERS17pb113-PT-4-ReachabilityCardinality-06
  "Automatically generated"
  is:
    A G ((((#tokens("p453")) <= (#tokens("p233")))) | (((! ((3) <= (#tokens("p57")))) & (! ((3) <= (#tokens("p339")))))))
  end.
Property RERS17pb113-PT-4-ReachabilityCardinality-07
  "Automatically generated"
  is:
    A G ((! ((((2) <= (#tokens("p62")))) & (((2) <= (#tokens("p334")))))) & (! ! ((#tokens("p573")) <= (#tokens("p494")))))
  end.
Property RERS17pb113-PT-4-ReachabilityCardinality-08
  "Automatically generated"
  is:
    A G ((((((((#tokens("p25")) <= (#tokens("p446")))) | (((#tokens("p173")) <= (#tokens("p566")))))) & (((((#tokens("p635")) <= (#tokens("p629")))) & (((1) <= (#tokens("p454")))))))) | (! ((((1) <= (#tokens("p338")))) & (((1) <= (#tokens("p361")))))))
  end.
Property RERS17pb113-PT-4-ReachabilityCardinality-09
  "Automatically generated"
  is:
    E F ! ((((#tokens("p590")) <= (#tokens("p93")))) | (((((#tokens("p156")) <= (#tokens("p558")))) | (((2) <= (#tokens("p205")))))))
  end.
Property RERS17pb113-PT-4-ReachabilityCardinality-10
  "Automatically generated"
  is:
    A G ((((3) <= (#tokens("p236")))) | (((! ((2) <= (#tokens("p520")))) & (((((1) <= (#tokens("p332")))) | (((#tokens("p322")) <= (#tokens("p625")))))))))
  end.
Property RERS17pb113-PT-4-ReachabilityCardinality-11
  "Automatically generated"
  is:
    A G ((#tokens("p452")) <= (#tokens("p208")))
  end.
Property RERS17pb113-PT-4-ReachabilityCardinality-12
  "Automatically generated"
  is:
    A G ! ((((((2) <= (#tokens("p438")))) & (((#tokens("p542")) <= (#tokens("p121")))))) & (! ((#tokens("p168")) <= (#tokens("p246")))))
  end.
Property RERS17pb113-PT-4-ReachabilityCardinality-13
  "Automatically generated"
  is:
    E F ((((#tokens("p152")) <= (#tokens("p620")))) & (((((((2) <= (#tokens("p535")))) | (((3) <= (#tokens("p163")))))) | (((3) <= (#tokens("p550")))))))
  end.
Property RERS17pb113-PT-4-ReachabilityCardinality-14
  "Automatically generated"
  is:
    A G ((#tokens("p116")) <= (#tokens("p49")))
  end.
Property RERS17pb113-PT-4-ReachabilityCardinality-15
  "Automatically generated"
  is:
    E F ((3) <= (#tokens("p638")))
  end.
