Property StigmergyCommit-PT-07b-ReachabilityCardinality-2025-00
   "Automatically generated by Citili v2025"
   is:
      A (G (tokens-count("p1900") <= 1))
   end.
Property StigmergyCommit-PT-07b-ReachabilityCardinality-2025-01
   "Automatically generated by Citili v2025"
   is:
      A (G (tokens-count("p395") <= tokens-count("p2182")))
   end.
Property StigmergyCommit-PT-07b-ReachabilityCardinality-2025-02
   "Automatically generated by Citili v2025"
   is:
      E (F (((((1 <= tokens-count("p1415")) & (1 <= tokens-count("p1778"))) & ((tokens-count("p106") <= tokens-count("p2017")) | (1 <= tokens-count("p955")))) & (tokens-count("p1601") <= 0)) & (tokens-count("p1533") <= tokens-count("p2100"))))
   end.
Property StigmergyCommit-PT-07b-ReachabilityCardinality-2025-03
   "Automatically generated by Citili v2025"
   is:
      E (F ((! ((1 <= tokens-count("p1439")) | (tokens-count("p259") <= 0))) & (! ((((tokens-count("p1439") <= 0) & ((! (1 <= tokens-count("p763"))) & ((((tokens-count("p1195") <= tokens-count("p1606")) & (tokens-count("p989") <= tokens-count("p1537"))) | ((tokens-count("p1330") <= 0) | (1 <= tokens-count("p111")))) | ((! (tokens-count("p1371") <= 1)) & (tokens-count("p548") <= 0))))) & (((1 <= tokens-count("p1815")) | ((tokens-count("p1014") <= 1) & (((1 <= tokens-count("p969")) & (tokens-count("p547") <= tokens-count("p311"))) | ((tokens-count("p2415") <= tokens-count("p961")) & (tokens-count("p433") <= 0))))) | (tokens-count("p1525") <= tokens-count("p669")))) & ((((tokens-count("p473") <= tokens-count("p825")) & ((((tokens-count("p1926") <= tokens-count("p1447")) | (tokens-count("p40") <= tokens-count("p669"))) | (! (tokens-count("p100") <= tokens-count("p516")))) | (! ((1 <= tokens-count("p2039")) & (tokens-count("p724") <= 1))))) & ((! ((tokens-count("p191") <= tokens-count("p1551")) | (1 <= tokens-count("p1339")))) & ((((1 <= tokens-count("p1684")) & (tokens-count("p1982") <= tokens-count("p2064"))) & (tokens-count("p1255") <= 1)) | (! ((tokens-count("p1129") <= tokens-count("p275")) | (1 <= tokens-count("p1227"))))))) & (tokens-count("p242") <= tokens-count("p1491")))))))
   end.
Property StigmergyCommit-PT-07b-ReachabilityCardinality-2025-04
   "Automatically generated by Citili v2025"
   is:
      A (G (((1 <= tokens-count("p1251")) & (1 <= tokens-count("p611"))) | (! ((! ((1 <= tokens-count("p120")) | (tokens-count("p1162") <= tokens-count("p1506")))) & ((! ((! (tokens-count("p1276") <= tokens-count("p726"))) | (1 <= tokens-count("p1630")))) & (! (tokens-count("p2081") <= tokens-count("p816"))))))))
   end.
Property StigmergyCommit-PT-07b-ReachabilityCardinality-2025-05
   "Automatically generated by Citili v2025"
   is:
      E (F (1 <= tokens-count("p2392")))
   end.
Property StigmergyCommit-PT-07b-ReachabilityCardinality-2025-06
   "Automatically generated by Citili v2025"
   is:
      A (G ((! (tokens-count("p225") <= 1)) | (tokens-count("p1487") <= 0)))
   end.
Property StigmergyCommit-PT-07b-ReachabilityCardinality-2025-07
   "Automatically generated by Citili v2025"
   is:
      E (F ((tokens-count("p312") <= tokens-count("p1173")) & (((! (tokens-count("p172") <= 0)) | (((tokens-count("p1369") <= 1) | ((! (tokens-count("p906") <= 0)) & ((((1 <= tokens-count("p1380")) | (1 <= tokens-count("p1441"))) & (tokens-count("p786") <= 1)) | (((tokens-count("p2273") <= 1) & (tokens-count("p482") <= 0)) & ((1 <= tokens-count("p468")) | (1 <= tokens-count("p774"))))))) & ((tokens-count("p1655") <= 1) & (! (tokens-count("p2340") <= 1))))) & (tokens-count("p198") <= 1))))
   end.
Property StigmergyCommit-PT-07b-ReachabilityCardinality-2025-08
   "Automatically generated by Citili v2025"
   is:
      E (F (! (tokens-count("p1956") <= tokens-count("p418"))))
   end.
Property StigmergyCommit-PT-07b-ReachabilityCardinality-2025-09
   "Automatically generated by Citili v2025"
   is:
      A (G (((! (tokens-count("p571") <= 1)) | ((! ((((! ((1 <= tokens-count("p632")) | (1 <= tokens-count("p1685")))) & ((! (1 <= tokens-count("p890"))) & (! (1 <= tokens-count("p2192"))))) | (1 <= tokens-count("p2120"))) & ((! (1 <= tokens-count("p1217"))) & (! (((tokens-count("p1811") <= 1) | (tokens-count("p1494") <= tokens-count("p621"))) | (! (tokens-count("p602") <= 1))))))) | (! (1 <= tokens-count("p68"))))) | ((! (tokens-count("p648") <= 0)) | (! ((1 <= tokens-count("p1915")) | (! (tokens-count("p1538") <= tokens-count("p124"))))))))
   end.
Property StigmergyCommit-PT-07b-ReachabilityCardinality-2025-10
   "Automatically generated by Citili v2025"
   is:
      E (F ((1 <= tokens-count("p1511")) & (! ((tokens-count("p1951") <= tokens-count("p1181")) | (tokens-count("p590") <= 0)))))
   end.
Property StigmergyCommit-PT-07b-ReachabilityCardinality-2025-11
   "Automatically generated by Citili v2025"
   is:
      E (F (((! ((! ((tokens-count("p1896") <= 1) & ((! (1 <= tokens-count("p2079"))) | ((tokens-count("p291") <= 1) | (tokens-count("p1327") <= tokens-count("p833")))))) | (((! (tokens-count("p1966") <= 1)) | (! ((tokens-count("p878") <= tokens-count("p2049")) & (tokens-count("p2355") <= 1)))) & (((! (1 <= tokens-count("p426"))) | (! (tokens-count("p2393") <= tokens-count("p39")))) & ((! (tokens-count("p1394") <= tokens-count("p1652"))) | ((tokens-count("p251") <= 0) | (tokens-count("p704") <= tokens-count("p1570")))))))) | (tokens-count("p241") <= tokens-count("p812"))) & (! (tokens-count("p1907") <= 0))))
   end.
Property StigmergyCommit-PT-07b-ReachabilityCardinality-2025-12
   "Automatically generated by Citili v2025"
   is:
      E (F (1 <= tokens-count("p1040")))
   end.
Property StigmergyCommit-PT-07b-ReachabilityCardinality-2025-13
   "Automatically generated by Citili v2025"
   is:
      E (F (! ((! (1 <= tokens-count("p574"))) | (((tokens-count("p480") <= 1) | (tokens-count("p500") <= 1)) & (! ((tokens-count("p1153") <= tokens-count("p638")) | (tokens-count("p1072") <= 0)))))))
   end.
Property StigmergyCommit-PT-07b-ReachabilityCardinality-2025-14
   "Automatically generated by Citili v2025"
   is:
      A (G (tokens-count("p2396") <= tokens-count("p569")))
   end.
Property StigmergyCommit-PT-07b-ReachabilityCardinality-2025-15
   "Automatically generated by Citili v2025"
   is:
      A (G ((((((! ((! (tokens-count("p481") <= tokens-count("p1477"))) | (! (tokens-count("p1331") <= 0)))) | (1 <= tokens-count("p2151"))) & (! (tokens-count("p2410") <= 0))) & (tokens-count("p1563") <= 0)) | (! (((tokens-count("p1375") <= tokens-count("p753")) & ((tokens-count("p2143") <= tokens-count("p40")) | (! (((tokens-count("p914") <= 0) & (tokens-count("p922") <= 1)) & ((1 <= tokens-count("p43")) | (tokens-count("p90") <= 0)))))) & ((((tokens-count("p755") <= tokens-count("p917")) & (tokens-count("p32") <= tokens-count("p1499"))) | (((! (tokens-count("p1396") <= 0)) | (! (tokens-count("p253") <= tokens-count("p2388")))) | (tokens-count("p1778") <= 0))) | (((! ((tokens-count("p2137") <= tokens-count("p1063")) & (tokens-count("p1762") <= tokens-count("p453")))) | (((tokens-count("p1673") <= 1) | (tokens-count("p522") <= 1)) & (1 <= tokens-count("p2126")))) | (! ((1 <= tokens-count("p602")) & ((tokens-count("p879") <= tokens-count("p1014")) | (tokens-count("p442") <= tokens-count("p983")))))))))) | (tokens-count("p405") <= tokens-count("p1749"))))
   end.
