Property StigmergyCommit-PT-10b-ReachabilityCardinality-00
   "Automatically generated by Citili v2022"
   is:
      A (G (! ((1 <= tokens-count("p624")) & (tokens-count("p3030") <= 1))))
   end.
Property StigmergyCommit-PT-10b-ReachabilityCardinality-01
   "Automatically generated by Citili v2022"
   is:
      A (G ((! ((1 <= tokens-count("p2339")) & (! ((tokens-count("p959") <= 1) & (tokens-count("p262") <= 1))))) & (tokens-count("p1211") <= tokens-count("p410"))))
   end.
Property StigmergyCommit-PT-10b-ReachabilityCardinality-02
   "Automatically generated by Citili v2022"
   is:
      E (F (1 <= tokens-count("p3334")))
   end.
Property StigmergyCommit-PT-10b-ReachabilityCardinality-03
   "Automatically generated by Citili v2022"
   is:
      E (F (((((1 <= tokens-count("p2050")) | ((((((tokens-count("p2480") <= 1) & (tokens-count("p2221") <= 1)) | ((tokens-count("p2737") <= 1) | (tokens-count("p873") <= 1))) & (! ((tokens-count("p712") <= 1) & (tokens-count("p1069") <= tokens-count("p1971"))))) | (! (((tokens-count("p2418") <= 1) | (tokens-count("p2816") <= tokens-count("p1243"))) | ((tokens-count("p1792") <= tokens-count("p1008")) | (1 <= tokens-count("p2587")))))) & (! (tokens-count("p180") <= tokens-count("p1130"))))) & (! (tokens-count("p53") <= 1))) | (1 <= tokens-count("p792"))) | ((! (((((! (tokens-count("p605") <= tokens-count("p604"))) | (1 <= tokens-count("p3096"))) & ((1 <= tokens-count("p2580")) & (tokens-count("p130") <= tokens-count("p1094")))) | (((((tokens-count("p701") <= tokens-count("p2222")) & (tokens-count("p2587") <= 1)) | ((tokens-count("p570") <= 1) & (tokens-count("p2029") <= tokens-count("p732")))) & (tokens-count("p2162") <= 1)) | (! ((tokens-count("p665") <= 1) | ((tokens-count("p2216") <= 1) & (tokens-count("p878") <= 1)))))) | (! ((! (tokens-count("p2268") <= 1)) | (! ((! (1 <= tokens-count("p1913"))) & (tokens-count("p1358") <= tokens-count("p3209")))))))) & (((((tokens-count("p1515") <= tokens-count("p3348")) | (1 <= tokens-count("p204"))) & (! ((! (! (tokens-count("p646") <= 1))) | ((1 <= tokens-count("p2249")) | ((tokens-count("p2644") <= 1) & (tokens-count("p118") <= tokens-count("p59"))))))) | (! (((! ((1 <= tokens-count("p2957")) & (tokens-count("p3279") <= 1))) | (! (1 <= tokens-count("p2684")))) | (tokens-count("p759") <= tokens-count("p1229"))))) | ((tokens-count("p3016") <= 1) & ((tokens-count("p2225") <= tokens-count("p2624")) | ((((1 <= tokens-count("p1534")) & (! (tokens-count("p1288") <= tokens-count("p3312")))) & (tokens-count("p2972") <= 1)) | (tokens-count("p1774") <= tokens-count("p2596")))))))))
   end.
Property StigmergyCommit-PT-10b-ReachabilityCardinality-04
   "Automatically generated by Citili v2022"
   is:
      A (G ((! (1 <= tokens-count("p1210"))) | (tokens-count("p2981") <= tokens-count("p600"))))
   end.
Property StigmergyCommit-PT-10b-ReachabilityCardinality-05
   "Automatically generated by Citili v2022"
   is:
      A (G (! ((! (! (((((! (tokens-count("p1286") <= tokens-count("p2283"))) | (tokens-count("p370") <= 1)) & (tokens-count("p346") <= 1)) & ((! (! (1 <= tokens-count("p623")))) | ((tokens-count("p1130") <= tokens-count("p2871")) | (tokens-count("p2241") <= 1)))) & (! (tokens-count("p2005") <= 1))))) & ((((tokens-count("p1195") <= tokens-count("p1643")) & ((! (1 <= tokens-count("p824"))) | (tokens-count("p418") <= 1))) | (! (((tokens-count("p1914") <= 1) & ((! (1 <= tokens-count("p961"))) & (! (1 <= tokens-count("p470"))))) | ((! ((tokens-count("p2793") <= 1) | (tokens-count("p14") <= 1))) & ((! (1 <= tokens-count("p2941"))) | ((tokens-count("p904") <= 1) & (1 <= tokens-count("p67")))))))) | (tokens-count("p1366") <= tokens-count("p2116"))))))
   end.
Property StigmergyCommit-PT-10b-ReachabilityCardinality-06
   "Automatically generated by Citili v2022"
   is:
      E (F (! ((((((! (tokens-count("p437") <= 1)) | (tokens-count("p1062") <= tokens-count("p528"))) & (! ((! ((tokens-count("p2261") <= tokens-count("p1329")) | (1 <= tokens-count("p1359")))) & ((1 <= tokens-count("p1243")) | ((tokens-count("p1459") <= 1) & (tokens-count("p2744") <= 1)))))) | (((((tokens-count("p2292") <= 1) | ((tokens-count("p394") <= tokens-count("p3278")) | (tokens-count("p1590") <= tokens-count("p2568")))) & ((! (tokens-count("p1490") <= tokens-count("p104"))) & (1 <= tokens-count("p2496")))) & ((! ((tokens-count("p2401") <= 1) & (tokens-count("p2069") <= 1))) & (((tokens-count("p1730") <= tokens-count("p953")) & (1 <= tokens-count("p2886"))) & ((tokens-count("p41") <= 1) | (tokens-count("p1923") <= 1))))) | (tokens-count("p2987") <= 1))) | (tokens-count("p1958") <= tokens-count("p871"))) & (tokens-count("p1447") <= tokens-count("p3164")))))
   end.
Property StigmergyCommit-PT-10b-ReachabilityCardinality-07
   "Automatically generated by Citili v2022"
   is:
      A (G (tokens-count("p1437") <= 1))
   end.
Property StigmergyCommit-PT-10b-ReachabilityCardinality-08
   "Automatically generated by Citili v2022"
   is:
      A (G (tokens-count("p3169") <= tokens-count("p2631")))
   end.
Property StigmergyCommit-PT-10b-ReachabilityCardinality-09
   "Automatically generated by Citili v2022"
   is:
      E (F (! ((! (tokens-count("p885") <= 1)) | (((tokens-count("p2118") <= tokens-count("p1034")) | (! (tokens-count("p2474") <= 1))) | (tokens-count("p2530") <= tokens-count("p2286"))))))
   end.
Property StigmergyCommit-PT-10b-ReachabilityCardinality-10
   "Automatically generated by Citili v2022"
   is:
      E (F (! (! ((tokens-count("p1230") <= 1) & ((tokens-count("p579") <= tokens-count("p1839")) & ((((((1 <= tokens-count("p2278")) & (tokens-count("p1933") <= 1)) | ((1 <= tokens-count("p1393")) & (1 <= tokens-count("p782")))) & (tokens-count("p3243") <= 1)) & (((! (tokens-count("p198") <= tokens-count("p1549"))) & (1 <= tokens-count("p614"))) & ((! (tokens-count("p1701") <= 1)) | ((1 <= tokens-count("p644")) | (tokens-count("p598") <= tokens-count("p1590")))))) | (! (tokens-count("p3287") <= 1))))))))
   end.
Property StigmergyCommit-PT-10b-ReachabilityCardinality-11
   "Automatically generated by Citili v2022"
   is:
      A (G (((! ((((((1 <= tokens-count("p288")) & (tokens-count("p1645") <= tokens-count("p2793"))) | ((tokens-count("p911") <= 1) & (tokens-count("p1286") <= 1))) & (tokens-count("p1861") <= 1)) & (((! ((tokens-count("p3024") <= 1) | (1 <= tokens-count("p2001")))) & ((! (tokens-count("p595") <= tokens-count("p2108"))) & (! (tokens-count("p947") <= 1)))) & ((((1 <= tokens-count("p1806")) | (1 <= tokens-count("p274"))) & ((tokens-count("p997") <= tokens-count("p3124")) & (tokens-count("p615") <= tokens-count("p2527")))) & (tokens-count("p314") <= 1)))) & (! ((! (1 <= tokens-count("p2536"))) | ((((1 <= tokens-count("p2138")) & (tokens-count("p1468") <= tokens-count("p1465"))) | ((1 <= tokens-count("p1673")) & (tokens-count("p1402") <= 1))) | (! (tokens-count("p1463") <= 1))))))) | (tokens-count("p3010") <= 1)) & (! (1 <= tokens-count("p2805")))))
   end.
Property StigmergyCommit-PT-10b-ReachabilityCardinality-12
   "Automatically generated by Citili v2022"
   is:
      A (G (tokens-count("p2336") <= tokens-count("p1766")))
   end.
Property StigmergyCommit-PT-10b-ReachabilityCardinality-13
   "Automatically generated by Citili v2022"
   is:
      E (F (1 <= tokens-count("p1452")))
   end.
Property StigmergyCommit-PT-10b-ReachabilityCardinality-14
   "Automatically generated by Citili v2022"
   is:
      A (G (tokens-count("p2438") <= 1))
   end.
Property StigmergyCommit-PT-10b-ReachabilityCardinality-15
   "Automatically generated by Citili v2022"
   is:
      E (F ((1 <= tokens-count("p783")) | ((tokens-count("p2796") <= tokens-count("p1557")) & (((((! (! ((tokens-count("p2420") <= tokens-count("p1610")) & (tokens-count("p1131") <= tokens-count("p193"))))) & (! (! ((tokens-count("p1973") <= 1) | (tokens-count("p2254") <= tokens-count("p2741")))))) & (tokens-count("p1244") <= tokens-count("p2513"))) & ((! (! ((! (1 <= tokens-count("p1462"))) & ((1 <= tokens-count("p568")) | (tokens-count("p365") <= tokens-count("p1696")))))) | ((1 <= tokens-count("p790")) | (tokens-count("p3069") <= tokens-count("p974"))))) & (1 <= tokens-count("p610"))))))
   end.
