Property RERS17pb114-PT-5-ReachabilityCardinality-00
  "Automatically generated"
  is:
    E F ! ((#tokens("p118")) <= (#tokens("p822")))
  end.
Property RERS17pb114-PT-5-ReachabilityCardinality-01
  "Automatically generated"
  is:
    E F ((((#tokens("p393")) <= (#tokens("p989")))) & (((3) <= (#tokens("p1404")))))
  end.
Property RERS17pb114-PT-5-ReachabilityCardinality-02
  "Automatically generated"
  is:
    A G ((#tokens("p715")) <= (#tokens("p604")))
  end.
Property RERS17pb114-PT-5-ReachabilityCardinality-03
  "Automatically generated"
  is:
    A G ((! ((1) <= (#tokens("p463")))) | (! ! ((#tokens("p1195")) <= (#tokens("p950")))))
  end.
Property RERS17pb114-PT-5-ReachabilityCardinality-04
  "Automatically generated"
  is:
    A G ((! ! ((#tokens("p197")) <= (#tokens("p2")))) | (! ((2) <= (#tokens("p60")))))
  end.
Property RERS17pb114-PT-5-ReachabilityCardinality-05
  "Automatically generated"
  is:
    A G ((((((((#tokens("p77")) <= (#tokens("p160")))) | (((#tokens("p712")) <= (#tokens("p1114")))))) & (((((#tokens("p903")) <= (#tokens("p1088")))) | (((#tokens("p136")) <= (#tokens("p598")))))))) | (((#tokens("p638")) <= (#tokens("p617")))))
  end.
Property RERS17pb114-PT-5-ReachabilityCardinality-06
  "Automatically generated"
  is:
    A G ((((#tokens("p1262")) <= (#tokens("p836")))) | (! ! ((#tokens("p612")) <= (#tokens("p1024")))))
  end.
Property RERS17pb114-PT-5-ReachabilityCardinality-07
  "Automatically generated"
  is:
    E F ! ((#tokens("p128")) <= (#tokens("p286")))
  end.
Property RERS17pb114-PT-5-ReachabilityCardinality-08
  "Automatically generated"
  is:
    E F ((3) <= (#tokens("p452")))
  end.
Property RERS17pb114-PT-5-ReachabilityCardinality-09
  "Automatically generated"
  is:
    A G ((((3) <= (#tokens("p812")))) | (((((#tokens("p670")) <= (#tokens("p1041")))) & (((((#tokens("p12")) <= (#tokens("p611")))) | (((#tokens("p1266")) <= (#tokens("p438")))))))))
  end.
Property RERS17pb114-PT-5-ReachabilityCardinality-10
  "Automatically generated"
  is:
    E F ((3) <= (#tokens("p846")))
  end.
Property RERS17pb114-PT-5-ReachabilityCardinality-11
  "Automatically generated"
  is:
    E F ((((((((#tokens("p36")) <= (#tokens("p703")))) & (((#tokens("p763")) <= (#tokens("p1109")))))) | (((((3) <= (#tokens("p1090")))) | (((3) <= (#tokens("p860")))))))) & (((((#tokens("p1210")) <= (#tokens("p1418")))) & (((((2) <= (#tokens("p892")))) & (((#tokens("p219")) <= (#tokens("p331")))))))))
  end.
Property RERS17pb114-PT-5-ReachabilityCardinality-12
  "Automatically generated"
  is:
    E F ((((((#tokens("p700")) <= (#tokens("p16")))) & (! ((2) <= (#tokens("p1355")))))) & (((((((3) <= (#tokens("p1211")))) & (((#tokens("p921")) <= (#tokens("p1017")))))) & (! ((#tokens("p1166")) <= (#tokens("p405")))))))
  end.
Property RERS17pb114-PT-5-ReachabilityCardinality-13
  "Automatically generated"
  is:
    E F ((((! ((#tokens("p1382")) <= (#tokens("p943")))) | (! ((2) <= (#tokens("p984")))))) & (((! ((#tokens("p245")) <= (#tokens("p960")))) & (((((3) <= (#tokens("p290")))) & (((1) <= (#tokens("p1255")))))))))
  end.
Property RERS17pb114-PT-5-ReachabilityCardinality-14
  "Automatically generated"
  is:
    A G ((((! ((2) <= (#tokens("p581")))) | (((((1) <= (#tokens("p194")))) & (((1) <= (#tokens("p813")))))))) | (((#tokens("p1331")) <= (#tokens("p1317")))))
  end.
Property RERS17pb114-PT-5-ReachabilityCardinality-15
  "Automatically generated"
  is:
    E F ((3) <= (#tokens("p1185")))
  end.
