Property StigmergyCommit-PT-10b-CTLFireability-2025-00
   "Automatically generated by Citili v2025"
   is:
      ((E (G ((! ((A (X (is-fireable("t170757")))) | (A (X (is-fireable("t186166")))))) | ((A (X ((is-fireable("t97674")) | (is-fireable("t333496"))))) & (A (G ((is-fireable("t295221")) & (is-fireable("t262471"))))))))) | (E (F (E (F (! (A (F (is-fireable("t198848")))))))))) | ((A (F (is-fireable("t273044")))) | (A (X ((A (F (E (F (is-fireable("t77717")))))) | (is-fireable("t239923"))))))
   end.
Property StigmergyCommit-PT-10b-CTLFireability-2025-01
   "Automatically generated by Citili v2025"
   is:
      A (X (A (G ((A (((is-fireable("t269817")) & (A (F (is-fireable("t154965"))))) U (E (F (is-fireable("t185181")))))) | (is-fireable("t257389"))))))
   end.
Property StigmergyCommit-PT-10b-CTLFireability-2025-02
   "Automatically generated by Citili v2025"
   is:
      ! (E (F ((is-fireable("t145570")) | (is-fireable("t154068")))))
   end.
Property StigmergyCommit-PT-10b-CTLFireability-2025-03
   "Automatically generated by Citili v2025"
   is:
      A (F ((E (X (E (G (A (G (is-fireable("t59732")))))))) | (A (G ((((is-fireable("t310402")) | (is-fireable("t109582"))) & (is-fireable("t188261"))) & (is-fireable("t50788")))))))
   end.
Property StigmergyCommit-PT-10b-CTLFireability-2025-04
   "Automatically generated by Citili v2025"
   is:
      (E (F (E (X (E (F (((is-fireable("t180157")) & (is-fireable("t359779"))) & ((is-fireable("t203909")) | (is-fireable("t188391")))))))))) | (E (((E (G ((A (X (is-fireable("t342904")))) | (A ((is-fireable("t177726")) U (is-fireable("t235068"))))))) | (is-fireable("t190586"))) U ((! ((((is-fireable("t321947")) | (is-fireable("t285414"))) | (E (G (is-fireable("t186705"))))) & (A (G (is-fireable("t308219")))))) & ((is-fireable("t345128")) | (((E (X (is-fireable("t302164")))) | (E (X (is-fireable("t193249"))))) | ((is-fireable("t359446")) & (is-fireable("t279146"))))))))
   end.
Property StigmergyCommit-PT-10b-CTLFireability-2025-05
   "Automatically generated by Citili v2025"
   is:
      ! (E (F (((is-fireable("t355545")) | (E (((is-fireable("t247332")) & (is-fireable("t343478"))) U (is-fireable("t53151"))))) | (! (A (F ((is-fireable("t99631")) | ((is-fireable("t136244")) | (is-fireable("t282840"))))))))))
   end.
Property StigmergyCommit-PT-10b-CTLFireability-2025-06
   "Automatically generated by Citili v2025"
   is:
      A (X (((is-fireable("t141555")) | (is-fireable("t287386"))) | (A ((A (X ((! (is-fireable("t245930"))) & ((is-fireable("t132203")) & (is-fireable("t317416")))))) U (A (F (is-fireable("t150968"))))))))
   end.
Property StigmergyCommit-PT-10b-CTLFireability-2025-07
   "Automatically generated by Citili v2025"
   is:
      A (X (A (F (E (G ((! (E (G (is-fireable("t59247"))))) | ((! (is-fireable("t12881"))) & (A ((is-fireable("t153471")) U (is-fireable("t318694")))))))))))
   end.
Property StigmergyCommit-PT-10b-CTLFireability-2025-08
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("t94788")))
   end.
Property StigmergyCommit-PT-10b-CTLFireability-2025-09
   "Automatically generated by Citili v2025"
   is:
      ! (A ((! ((is-fireable("t217391")) | (E (X (A (G (is-fireable("t109744")))))))) U (A ((! (is-fireable("t139055"))) U (is-fireable("t346359"))))))
   end.
Property StigmergyCommit-PT-10b-CTLFireability-2025-10
   "Automatically generated by Citili v2025"
   is:
      (A ((is-fireable("t125534")) U (A (X (E (G ((! (is-fireable("t154303"))) | ((is-fireable("t133152")) | (is-fireable("t323985")))))))))) | (E (((! ((E (F ((is-fireable("t221952")) & (is-fireable("t92328"))))) | ((is-fireable("t318205")) & (E (X (is-fireable("t358083"))))))) & (! ((E (F (A ((is-fireable("t251874")) U (is-fireable("t67128")))))) & (is-fireable("t181983"))))) U (A (X ((E (X (E (F (is-fireable("t120425")))))) & ((is-fireable("t231445")) & (is-fireable("t281068"))))))))
   end.
Property StigmergyCommit-PT-10b-CTLFireability-2025-11
   "Automatically generated by Citili v2025"
   is:
      E (F (! ((E ((E (F (A (G (is-fireable("t200238")))))) U (! (is-fireable("t51061"))))) | (((! ((! (is-fireable("t235838"))) & (is-fireable("t350026")))) | (E (X ((is-fireable("t53681")) & (is-fireable("t321314")))))) & (! (A ((is-fireable("t135620")) U (is-fireable("t229300")))))))))
   end.
Property StigmergyCommit-PT-10b-CTLFireability-12
   "Automatically generated by Citili v2023"
   is:
      A ((((is-fireable("t37104")) & (A (X (((A (F (is-fireable("t170731")))) | (A (F (is-fireable("t284069"))))) | (E (X (is-fireable("t159806")))))))) | ((is-fireable("t228769")) & (A ((! ((! (is-fireable("t121679"))) & (is-fireable("t41893")))) U (! (E (X (is-fireable("t271685"))))))))) U ((E (G (A (F (! (A ((is-fireable("t63557")) U (is-fireable("t278978"))))))))) & ((E (F (! (is-fireable("t89238"))))) | (((A (((is-fireable("t283330")) & (is-fireable("t294203"))) U (E (X (is-fireable("t201363")))))) & (! (is-fireable("t119785")))) & ((! (is-fireable("t93831"))) & ((E (F (is-fireable("t330393")))) | (A ((is-fireable("t216063")) U (is-fireable("t42899"))))))))))
   end.
Property StigmergyCommit-PT-10b-CTLFireability-13
   "Automatically generated by Citili v2023"
   is:
      A (F (E (F (is-fireable("t69049")))))
   end.
Property StigmergyCommit-PT-10b-CTLFireability-14
   "Automatically generated by Citili v2023"
   is:
      E (((E (F ((is-fireable("t359214")) & (is-fireable("t1309"))))) | (A (X (A (G (is-fireable("t180328"))))))) U ((is-fireable("t109640")) & (E (F (E (X (! ((is-fireable("t253924")) & (is-fireable("t38195"))))))))))
   end.
Property StigmergyCommit-PT-10b-CTLFireability-15
   "Automatically generated by Citili v2023"
   is:
      E (X ((((is-fireable("t272068")) | (A (F (E (G (is-fireable("t230545"))))))) | (! (((((is-fireable("t142293")) & (is-fireable("t304639"))) & (! (is-fireable("t303002")))) & (((is-fireable("t292160")) | (is-fireable("t19263"))) & (A (X (is-fireable("t57930")))))) | (((! (is-fireable("t157984"))) & ((is-fireable("t123517")) | (is-fireable("t94868")))) | (! (is-fireable("t82463"))))))) | (A (G (E ((! ((is-fireable("t101178")) & (is-fireable("t56205")))) U ((E (F (is-fireable("t351377")))) | (is-fireable("t137884")))))))))
   end.
