Property StigmergyCommit-PT-08a-ReachabilityCardinality-00
   "Automatically generated by Citili v2022"
   is:
      A (G (tokens-count("p142") <= 1))
   end.
Property StigmergyCommit-PT-08a-ReachabilityCardinality-01
   "Automatically generated by Citili v2022"
   is:
      A (G (! ((! ((tokens-count("p207") <= 1) | (! (((! ((1 <= tokens-count("p45")) | (1 <= tokens-count("p35")))) & (1 <= tokens-count("p151"))) & ((((1 <= tokens-count("p295")) | (tokens-count("p317") <= tokens-count("p18"))) & ((1 <= tokens-count("p289")) & (tokens-count("p199") <= 1))) & ((! (tokens-count("p310") <= 1)) & ((1 <= tokens-count("p106")) & (tokens-count("p210") <= tokens-count("p79"))))))))) & ((tokens-count("p80") <= tokens-count("p319")) & (! (! (((! ((1 <= tokens-count("p124")) | (1 <= tokens-count("p53")))) | (! ((tokens-count("p111") <= 1) | (1 <= tokens-count("p14"))))) | ((1 <= tokens-count("p318")) & (tokens-count("p163") <= tokens-count("p136"))))))))))
   end.
Property StigmergyCommit-PT-08a-ReachabilityCardinality-02
   "Automatically generated by Citili v2022"
   is:
      E (F ((1 <= tokens-count("p80")) & (((! ((((tokens-count("p305") <= 1) & (((tokens-count("p231") <= 1) & (tokens-count("p7") <= tokens-count("p45"))) | (tokens-count("p287") <= tokens-count("p160")))) & (tokens-count("p28") <= tokens-count("p198"))) | (! (! (((tokens-count("p202") <= tokens-count("p191")) | (tokens-count("p25") <= 1)) & (tokens-count("p248") <= tokens-count("p76"))))))) | (! ((tokens-count("p184") <= tokens-count("p294")) | ((! (((tokens-count("p108") <= tokens-count("p96")) | (tokens-count("p50") <= 1)) | ((tokens-count("p321") <= tokens-count("p66")) | (tokens-count("p273") <= 1)))) & ((tokens-count("p50") <= tokens-count("p320")) | (((tokens-count("p191") <= tokens-count("p61")) & (1 <= tokens-count("p238"))) & ((1 <= tokens-count("p67")) & (1 <= tokens-count("p218"))))))))) | (! ((tokens-count("p19") <= 1) & (((1 <= tokens-count("p98")) & ((((tokens-count("p313") <= tokens-count("p169")) & (1 <= tokens-count("p49"))) | ((tokens-count("p38") <= 1) | (tokens-count("p64") <= 1))) & (! ((tokens-count("p29") <= 1) & (tokens-count("p84") <= 1))))) & (! (((! (tokens-count("p37") <= 1)) & ((tokens-count("p16") <= tokens-count("p273")) | (tokens-count("p92") <= tokens-count("p225")))) & ((1 <= tokens-count("p90")) & (! (1 <= tokens-count("p112"))))))))))))
   end.
Property StigmergyCommit-PT-08a-ReachabilityCardinality-03
   "Automatically generated by Citili v2022"
   is:
      A (G (! (! (((! (tokens-count("p40") <= 1)) & ((((! ((1 <= tokens-count("p251")) & (tokens-count("p44") <= tokens-count("p166")))) & ((! (1 <= tokens-count("p324"))) & ((tokens-count("p43") <= 1) & (1 <= tokens-count("p61"))))) | ((tokens-count("p193") <= tokens-count("p153")) & ((! (tokens-count("p327") <= tokens-count("p87"))) | ((tokens-count("p147") <= 1) & (1 <= tokens-count("p227")))))) & (((((tokens-count("p280") <= tokens-count("p26")) | (tokens-count("p91") <= tokens-count("p37"))) | (! (tokens-count("p163") <= 1))) | (tokens-count("p180") <= tokens-count("p116"))) | (((! (tokens-count("p178") <= tokens-count("p69"))) & (tokens-count("p164") <= 1)) | (tokens-count("p318") <= tokens-count("p21")))))) | (tokens-count("p254") <= 1)))))
   end.
Property StigmergyCommit-PT-08a-ReachabilityCardinality-04
   "Automatically generated by Citili v2022"
   is:
      E (F (! (tokens-count("p1") <= 1)))
   end.
Property StigmergyCommit-PT-08a-ReachabilityCardinality-05
   "Automatically generated by Citili v2022"
   is:
      E (F (((tokens-count("p148") <= 1) | (((! (tokens-count("p20") <= tokens-count("p239"))) & (! (1 <= tokens-count("p85")))) | ((! (! ((! ((tokens-count("p18") <= tokens-count("p308")) & (tokens-count("p93") <= 1))) & (1 <= tokens-count("p241"))))) | (tokens-count("p126") <= 1)))) & ((((1 <= tokens-count("p167")) & (! (((! (tokens-count("p5") <= 1)) | ((! (1 <= tokens-count("p78"))) | ((1 <= tokens-count("p185")) | (tokens-count("p227") <= tokens-count("p299"))))) | (1 <= tokens-count("p21"))))) & ((1 <= tokens-count("p48")) & (! (1 <= tokens-count("p308"))))) & ((! (tokens-count("p179") <= 1)) & (tokens-count("p276") <= tokens-count("p227"))))))
   end.
Property StigmergyCommit-PT-08a-ReachabilityCardinality-06
   "Automatically generated by Citili v2022"
   is:
      A (G (tokens-count("p173") <= tokens-count("p268")))
   end.
Property StigmergyCommit-PT-08a-ReachabilityCardinality-07
   "Automatically generated by Citili v2022"
   is:
      A (G (tokens-count("p302") <= tokens-count("p58")))
   end.
Property StigmergyCommit-PT-08a-ReachabilityCardinality-08
   "Automatically generated by Citili v2022"
   is:
      E (F (! (((((((! (1 <= tokens-count("p193"))) | (! (! (tokens-count("p284") <= 1)))) | (tokens-count("p22") <= 1)) | ((! ((1 <= tokens-count("p178")) & (tokens-count("p51") <= tokens-count("p194")))) | (! (((tokens-count("p27") <= 1) & (tokens-count("p268") <= 1)) | ((tokens-count("p133") <= tokens-count("p17")) | (1 <= tokens-count("p222"))))))) | (! ((! ((! (tokens-count("p321") <= tokens-count("p64"))) & (1 <= tokens-count("p217")))) | (! (((tokens-count("p48") <= tokens-count("p145")) & (1 <= tokens-count("p257"))) | (! (1 <= tokens-count("p166")))))))) | ((! ((! (! (! (tokens-count("p246") <= 1)))) & (! (! (! (1 <= tokens-count("p85"))))))) | (tokens-count("p278") <= 1))) & (tokens-count("p263") <= 1))))
   end.
Property StigmergyCommit-PT-08a-ReachabilityCardinality-09
   "Automatically generated by Citili v2022"
   is:
      A (G ((((! (! ((tokens-count("p192") <= 1) & ((! ((1 <= tokens-count("p93")) & (tokens-count("p24") <= tokens-count("p312")))) & (! (1 <= tokens-count("p54"))))))) & ((tokens-count("p64") <= tokens-count("p310")) | (! (! ((((tokens-count("p139") <= 1) | (tokens-count("p288") <= 1)) & (tokens-count("p96") <= tokens-count("p251"))) & (1 <= tokens-count("p285"))))))) | ((((((((1 <= tokens-count("p78")) | (tokens-count("p278") <= 1)) | ((1 <= tokens-count("p291")) | (1 <= tokens-count("p66")))) | ((tokens-count("p313") <= 1) & (! (1 <= tokens-count("p321"))))) | (! ((! (tokens-count("p146") <= 1)) | (! (1 <= tokens-count("p80")))))) & ((tokens-count("p258") <= 1) | (((! (1 <= tokens-count("p229"))) | ((tokens-count("p73") <= tokens-count("p38")) | (tokens-count("p215") <= tokens-count("p303")))) & ((! (tokens-count("p152") <= tokens-count("p159"))) & (! (1 <= tokens-count("p24"))))))) | (! (tokens-count("p68") <= 1))) & (tokens-count("p5") <= tokens-count("p197")))) & (! ((tokens-count("p28") <= tokens-count("p23")) & (1 <= tokens-count("p89"))))))
   end.
Property StigmergyCommit-PT-08a-ReachabilityCardinality-10
   "Automatically generated by Citili v2022"
   is:
      A (G (tokens-count("p9") <= 1))
   end.
Property StigmergyCommit-PT-08a-ReachabilityCardinality-11
   "Automatically generated by Citili v2022"
   is:
      A (G ((((! (! ((! ((! (tokens-count("p228") <= tokens-count("p94"))) & ((1 <= tokens-count("p258")) & (tokens-count("p136") <= tokens-count("p56"))))) & ((1 <= tokens-count("p68")) | (((1 <= tokens-count("p259")) & (tokens-count("p291") <= tokens-count("p326"))) & (! (tokens-count("p57") <= 1))))))) | ((1 <= tokens-count("p22")) & (tokens-count("p96") <= 1))) | ((((tokens-count("p47") <= 1) | ((tokens-count("p118") <= 1) & ((! (! (tokens-count("p267") <= 1))) & (! (! (tokens-count("p127") <= 1)))))) & ((! (1 <= tokens-count("p1"))) & ((tokens-count("p205") <= 1) & (((tokens-count("p154") <= tokens-count("p79")) | ((tokens-count("p88") <= 1) | (1 <= tokens-count("p326")))) & (((tokens-count("p113") <= 1) & (tokens-count("p96") <= tokens-count("p71"))) | (! (1 <= tokens-count("p243")))))))) | (! (tokens-count("p68") <= 1)))) & (tokens-count("p308") <= tokens-count("p243"))))
   end.
Property StigmergyCommit-PT-08a-ReachabilityCardinality-12
   "Automatically generated by Citili v2022"
   is:
      E (F (! ((tokens-count("p164") <= 1) & (! (! (! ((((! (1 <= tokens-count("p71"))) & (1 <= tokens-count("p221"))) & (((tokens-count("p127") <= tokens-count("p114")) & (tokens-count("p60") <= tokens-count("p213"))) & ((tokens-count("p189") <= tokens-count("p268")) | (1 <= tokens-count("p326"))))) & (1 <= tokens-count("p73")))))))))
   end.
Property StigmergyCommit-PT-08a-ReachabilityCardinality-13
   "Automatically generated by Citili v2022"
   is:
      E (F (((((! ((! (tokens-count("p141") <= tokens-count("p48"))) | (! (tokens-count("p247") <= 1)))) | ((1 <= tokens-count("p109")) | (! (! (((1 <= tokens-count("p249")) | (1 <= tokens-count("p65"))) & ((tokens-count("p46") <= 1) & (tokens-count("p107") <= 1))))))) | (((tokens-count("p230") <= tokens-count("p40")) & ((! (((tokens-count("p80") <= 1) | (tokens-count("p115") <= tokens-count("p268"))) | (tokens-count("p317") <= tokens-count("p185")))) & ((! (tokens-count("p22") <= 1)) & (((1 <= tokens-count("p162")) & (tokens-count("p88") <= tokens-count("p69"))) | (! (1 <= tokens-count("p132"))))))) | (tokens-count("p265") <= 1))) | (! (! (((! (! (tokens-count("p14") <= tokens-count("p191")))) & ((((tokens-count("p19") <= tokens-count("p96")) | (tokens-count("p57") <= tokens-count("p240"))) | ((tokens-count("p43") <= 1) | (tokens-count("p298") <= 1))) & ((! (tokens-count("p145") <= 1)) & ((tokens-count("p63") <= 1) & (tokens-count("p120") <= 1))))) & (! (((! (tokens-count("p129") <= tokens-count("p301"))) & (! (tokens-count("p313") <= tokens-count("p241")))) & (! (! (1 <= tokens-count("p282")))))))))) & (! (tokens-count("p139") <= 1))))
   end.
Property StigmergyCommit-PT-08a-ReachabilityCardinality-14
   "Automatically generated by Citili v2022"
   is:
      A (G (tokens-count("p194") <= tokens-count("p241")))
   end.
Property StigmergyCommit-PT-08a-ReachabilityCardinality-15
   "Automatically generated by Citili v2022"
   is:
      A (G (! (! ((! (! (((! (! (tokens-count("p151") <= tokens-count("p162")))) & ((! (1 <= tokens-count("p0"))) | (1 <= tokens-count("p302")))) | (! (! ((tokens-count("p323") <= tokens-count("p311")) | (tokens-count("p229") <= tokens-count("p304")))))))) | (1 <= tokens-count("p97"))))))
   end.
