Property StigmergyCommit-PT-08a-CTLFireability-2025-00
   "Automatically generated by Citili v2025"
   is:
      (E (F ((! ((((E (X (is-fireable("t18569")))) & ((is-fireable("t9457")) | (is-fireable("t15883")))) | ((A (G (is-fireable("t15290")))) & (! (is-fireable("t10848"))))) | ((A (G (is-fireable("t6012")))) | (! ((is-fireable("t16167")) & (is-fireable("t3988"))))))) | ((is-fireable("t10436")) & (! ((! (is-fireable("t4980"))) | (is-fireable("t9360")))))))) | (A (F (E (((((E (F (is-fireable("t14015")))) | ((is-fireable("t10148")) & (is-fireable("t5106")))) & (A (X (is-fireable("t1851"))))) & (E (G (is-fireable("t13934"))))) U ((E (F ((is-fireable("t12908")) | (is-fireable("t3238"))))) & (((A (F (is-fireable("t6055")))) | (is-fireable("t15394"))) | (! ((is-fireable("t15175")) | (is-fireable("t1077"))))))))))
   end.
Property StigmergyCommit-PT-08a-CTLFireability-2025-01
   "Automatically generated by Citili v2025"
   is:
      ! (A (G (((A (X (is-fireable("t11910")))) | (! (A ((is-fireable("t12703")) U (is-fireable("t12713")))))) | (is-fireable("t9206")))))
   end.
Property StigmergyCommit-PT-08a-CTLFireability-2025-02
   "Automatically generated by Citili v2025"
   is:
      A (((A (X (! (E (((is-fireable("t11757")) & (is-fireable("t16091"))) U (A ((is-fireable("t8765")) U (is-fireable("t12619"))))))))) & (A (F (is-fireable("t7900"))))) U (A (X (A ((E (G (A (G (is-fireable("t15687")))))) U (is-fireable("t2354")))))))
   end.
Property StigmergyCommit-PT-08a-CTLFireability-2025-03
   "Automatically generated by Citili v2025"
   is:
      ! (E (F (! (A (F (is-fireable("t7383")))))))
   end.
Property StigmergyCommit-PT-08a-CTLFireability-2025-04
   "Automatically generated by Citili v2025"
   is:
      E (G (! (A (G (! (is-fireable("t2494")))))))
   end.
Property StigmergyCommit-PT-08a-CTLFireability-2025-05
   "Automatically generated by Citili v2025"
   is:
      ! ((A (F (E (F (((E (X (is-fireable("t11784")))) & (E ((is-fireable("t14687")) U (is-fireable("t6859"))))) | (A (G (is-fireable("t1345"))))))))) | ((E (F (is-fireable("t10969")))) & (E ((((A (G (is-fireable("t1833")))) & (A ((is-fireable("t15032")) U (is-fireable("t1063"))))) & (! (E ((is-fireable("t16511")) U (is-fireable("t9984")))))) U (A (G (! (A (G (is-fireable("t9099")))))))))))
   end.
Property StigmergyCommit-PT-08a-CTLFireability-2025-06
   "Automatically generated by Citili v2025"
   is:
      ((! (E (F ((A (X (! (is-fireable("t17693"))))) & ((((is-fireable("t9079")) | (is-fireable("t988"))) | (! (is-fireable("t17500")))) & ((A (F (is-fireable("t2035")))) & (E (F (is-fireable("t4329")))))))))) | (A (G (((E (X (A (G (is-fireable("t11320")))))) | ((((is-fireable("t11147")) & (is-fireable("t9403"))) | ((is-fireable("t7782")) | (is-fireable("t5239")))) | (A (F (is-fireable("t5511")))))) & (! (is-fireable("t12211"))))))) | (! (A (G (! (((A (G (is-fireable("t8409")))) | (E (X (is-fireable("t8964"))))) & (((A (G (is-fireable("t9099")))) & (A (F (is-fireable("t14258"))))) | (is-fireable("t17703"))))))))
   end.
Property StigmergyCommit-PT-08a-CTLFireability-2025-07
   "Automatically generated by Citili v2025"
   is:
      A (F (! (E (G (! ((A (F (is-fireable("t11859")))) & (A (G (is-fireable("t6445"))))))))))
   end.
Property StigmergyCommit-PT-08a-CTLFireability-2025-08
   "Automatically generated by Citili v2025"
   is:
      E (F (! (E (F (E ((is-fireable("t4669")) U ((is-fireable("t14986")) & (is-fireable("t14894")))))))))
   end.
Property StigmergyCommit-PT-08a-CTLFireability-2025-09
   "Automatically generated by Citili v2025"
   is:
      E (F (A (G (((E (F (! (is-fireable("t15780"))))) & (((! (is-fireable("t12822"))) | (is-fireable("t8624"))) & (is-fireable("t2389")))) | (! (is-fireable("t2761")))))))
   end.
Property StigmergyCommit-PT-08a-CTLFireability-2025-10
   "Automatically generated by Citili v2025"
   is:
      E (X (! (E (F (A (G ((A (F (is-fireable("t16814")))) & ((is-fireable("t1853")) | (is-fireable("t5215"))))))))))
   end.
Property StigmergyCommit-PT-08a-CTLFireability-2025-11
   "Automatically generated by Citili v2025"
   is:
      (((A ((A (G (A (F (is-fireable("t16981")))))) U ((A (((is-fireable("t15024")) & (is-fireable("t4919"))) U (A (G (is-fireable("t1380")))))) & (is-fireable("t5429"))))) & (A ((A ((is-fireable("t443")) U ((E (X (is-fireable("t10024")))) & (! (is-fireable("t10937")))))) U (((is-fireable("t4628")) | (A (F (is-fireable("t13187"))))) & (! ((is-fireable("t17658")) & (is-fireable("t4524")))))))) | (A (G (! ((! (E (F (is-fireable("t17593"))))) | (is-fireable("t9448"))))))) | (E (F ((A (X (A (X (is-fireable("t8558")))))) | (A ((! (A (G (is-fireable("t14456"))))) U (E (((is-fireable("t10131")) | (is-fireable("t4124"))) U (E ((is-fireable("t18458")) U (is-fireable("t9743")))))))))))
   end.
Property StigmergyCommit-PT-08a-CTLFireability-12
   "Automatically generated by Citili v2023"
   is:
      A (F (A ((A (G (E (X (! (is-fireable("t671"))))))) U (is-fireable("t6943")))))
   end.
Property StigmergyCommit-PT-08a-CTLFireability-13
   "Automatically generated by Citili v2023"
   is:
      A (X (E (G (! ((E (F ((is-fireable("t9658")) & (is-fireable("t1331"))))) & (((E ((is-fireable("t1515")) U (is-fireable("t2658")))) | (A ((is-fireable("t11813")) U (is-fireable("t13462"))))) | (! (E (G (is-fireable("t17630")))))))))))
   end.
Property StigmergyCommit-PT-08a-CTLFireability-14
   "Automatically generated by Citili v2023"
   is:
      A ((! (E ((is-fireable("t3348")) U (! (E (F (E ((is-fireable("t17124")) U (is-fireable("t9250")))))))))) U (A (G (E (F ((E (G (is-fireable("t1805")))) & (E (X (is-fireable("t15109"))))))))))
   end.
Property StigmergyCommit-PT-08a-CTLFireability-15
   "Automatically generated by Citili v2023"
   is:
      E (G ((A (((is-fireable("t12658")) | (! (((is-fireable("t17757")) | (is-fireable("t10848"))) & (A (G (is-fireable("t6583"))))))) U (E ((((is-fireable("t18735")) | (is-fireable("t14436"))) & ((is-fireable("t16025")) | (is-fireable("t13366")))) U (A (X (is-fireable("t1098")))))))) | (A (F (E (G (A (G (is-fireable("t17071"))))))))))
   end.
