Property StigmergyCommit-PT-08a-CTLFireability-00
   "Automatically generated by Citili v2022"
   is:
      ! (E ((A (X (E (X (! (! (is-fireable("t13194")))))))) U ((E (X (A ((A (F (is-fireable("t8018")))) U (is-fireable("t9163")))))) | (A (G ((is-fireable("t10888")) | ((! (is-fireable("t12334"))) | ((is-fireable("t14787")) & (is-fireable("t7342"))))))))))
   end.
Property StigmergyCommit-PT-08a-CTLFireability-01
   "Automatically generated by Citili v2022"
   is:
      ((E (((is-fireable("t6145")) & (! (is-fireable("t15221")))) U ((A (F (E (X (is-fireable("t6")))))) | (is-fireable("t8410"))))) & (E ((! (E (F (E (X (is-fireable("t9575"))))))) U ((! (E (X ((is-fireable("t4607")) | (is-fireable("t9522")))))) | (((E (F (is-fireable("t4735")))) | ((is-fireable("t5377")) | (! (is-fireable("t3601"))))) & ((E (G (is-fireable("t6704")))) | (E (F (is-fireable("t4898")))))))))) | (A (G (A (F (! ((is-fireable("t16964")) & (is-fireable("t8530"))))))))
   end.
Property StigmergyCommit-PT-08a-CTLFireability-02
   "Automatically generated by Citili v2022"
   is:
      E (G (((! ((is-fireable("t14614")) & ((A (F (is-fireable("t14593")))) & (E ((is-fireable("t10810")) U (is-fireable("t10080"))))))) | (is-fireable("t17216"))) | (is-fireable("t8888"))))
   end.
Property StigmergyCommit-PT-08a-CTLFireability-03
   "Automatically generated by Citili v2022"
   is:
      E (F (E ((E ((E ((is-fireable("t8044")) U ((is-fireable("t12205")) | (is-fireable("t4857"))))) U (is-fireable("t1450")))) U (E (X (E (G (A ((is-fireable("t3374")) U (is-fireable("t3308")))))))))))
   end.
Property StigmergyCommit-PT-08a-CTLFireability-04
   "Automatically generated by Citili v2022"
   is:
      (E (X ((E (X (! (! (A ((is-fireable("t9164")) U (is-fireable("t18414")))))))) & (A (((((is-fireable("t8552")) | (is-fireable("t8095"))) | (E (G (is-fireable("t16733"))))) & (! (is-fireable("t18298")))) U (is-fireable("t17608"))))))) | (A ((is-fireable("t6025")) U (! (A (X (E ((E (F (is-fireable("t16274")))) U ((is-fireable("t14183")) & (is-fireable("t4148"))))))))))
   end.
Property StigmergyCommit-PT-08a-CTLFireability-05
   "Automatically generated by Citili v2022"
   is:
      E (F ((is-fireable("t2936")) & (is-fireable("t3704"))))
   end.
Property StigmergyCommit-PT-08a-CTLFireability-06
   "Automatically generated by Citili v2022"
   is:
      E (((! ((! (((A ((is-fireable("t14924")) U (is-fireable("t8906")))) & ((is-fireable("t8027")) & (is-fireable("t3799")))) | (is-fireable("t12661")))) & ((is-fireable("t16882")) & (! (is-fireable("t13593")))))) | (A (G (! (E (F (E (X (is-fireable("t11252")))))))))) U (((is-fireable("t6254")) | (E ((A (F (! (is-fireable("t16465"))))) U (E (X ((is-fireable("t16209")) & (is-fireable("t1251")))))))) | ((is-fireable("t10406")) & ((is-fireable("t13738")) | ((! (is-fireable("t8670"))) | (((! (is-fireable("t4260"))) & (A (F (is-fireable("t14923"))))) & ((! (is-fireable("t2022"))) | (is-fireable("t13182")))))))))
   end.
Property StigmergyCommit-PT-08a-CTLFireability-07
   "Automatically generated by Citili v2022"
   is:
      ! (! (E (G (E (F (is-fireable("t4470")))))))
   end.
Property StigmergyCommit-PT-08a-CTLFireability-08
   "Automatically generated by Citili v2022"
   is:
      A ((((! (is-fireable("t3938"))) | (A (G (A (G (is-fireable("t5842"))))))) & ((E (X (E (F (! (is-fireable("t13823"))))))) & (E ((A (F ((is-fireable("t17636")) & (is-fireable("t1323"))))) U (is-fireable("t2711")))))) U ((E (G ((A (F (is-fireable("t3146")))) | (is-fireable("t13714"))))) & (! (((is-fireable("t8533")) & (! (! (is-fireable("t5520"))))) & (E (F (E (X (is-fireable("t5448"))))))))))
   end.
Property StigmergyCommit-PT-08a-CTLFireability-09
   "Automatically generated by Citili v2022"
   is:
      E ((E (G (! (is-fireable("t5326"))))) U (E (X (E (((E (X (is-fireable("t3874")))) | (A (X (is-fireable("t3158"))))) U ((is-fireable("t7887")) | (((is-fireable("t3362")) & (is-fireable("t15553"))) | (is-fireable("t14922")))))))))
   end.
Property StigmergyCommit-PT-08a-CTLFireability-10
   "Automatically generated by Citili v2022"
   is:
      E ((A ((is-fireable("t15587")) U (((E (X ((is-fireable("t15433")) | (is-fireable("t3334"))))) | (A (((is-fireable("t16952")) | (is-fireable("t3483"))) U (! (is-fireable("t5830")))))) | ((E (F (is-fireable("t17354")))) & (E (G ((is-fireable("t8990")) | (is-fireable("t2384"))))))))) U ((A (F (! (! (! ((is-fireable("t12303")) | (is-fireable("t7785")))))))) & (A (G (E (G (A (F (is-fireable("t9876"))))))))))
   end.
Property StigmergyCommit-PT-08a-CTLFireability-11
   "Automatically generated by Citili v2022"
   is:
      A ((! (E (F (A (((! (is-fireable("t1184"))) | (E ((is-fireable("t7414")) U (is-fireable("t16949"))))) U (E (X (is-fireable("t4792"))))))))) U (is-fireable("t9760")))
   end.
Property StigmergyCommit-PT-08a-CTLFireability-12
   "Automatically generated by Citili v2022"
   is:
      (A (F (! (! (A (X (A (G (is-fireable("t9829")))))))))) | (A (X (E (G (E (G ((E (F (is-fireable("t13401")))) | ((is-fireable("t14358")) | (is-fireable("t12149"))))))))))
   end.
Property StigmergyCommit-PT-08a-CTLFireability-13
   "Automatically generated by Citili v2022"
   is:
      A (G ((is-fireable("t12716")) | ((A (G (A (F ((is-fireable("t7380")) | (is-fireable("t17663"))))))) & ((E (X (! (A ((is-fireable("t5963")) U (is-fireable("t1639"))))))) | (! (A (F (! (is-fireable("t16015"))))))))))
   end.
Property StigmergyCommit-PT-08a-CTLFireability-14
   "Automatically generated by Citili v2022"
   is:
      E (G (A (F (E (((! (E (G (is-fireable("t12187"))))) & (E ((is-fireable("t13457")) U (is-fireable("t9864"))))) U (A (G (A (G (is-fireable("t17766")))))))))))
   end.
Property StigmergyCommit-PT-08a-CTLFireability-15
   "Automatically generated by Citili v2022"
   is:
      A ((! ((A ((! (is-fireable("t947"))) U ((E ((is-fireable("t18160")) U (is-fireable("t12463")))) | (is-fireable("t14083"))))) & (! (A ((E (G (is-fireable("t10620")))) U ((is-fireable("t17229")) & (A ((is-fireable("t15300")) U (is-fireable("t2085")))))))))) U (is-fireable("t7861")))
   end.
