Property StigmergyCommit-PT-07b-CTLFireability-2025-00
   "Automatically generated by Citili v2025"
   is:
      ! (A (G (! (is-fireable("t6009")))))
   end.
Property StigmergyCommit-PT-07b-CTLFireability-2025-01
   "Automatically generated by Citili v2025"
   is:
      E (G (A ((E (X (E (F ((is-fireable("t5321")) | (is-fireable("t15370"))))))) U (A ((E ((A (F (is-fireable("t11327")))) U ((is-fireable("t15686")) & (is-fireable("t1006"))))) U (is-fireable("t3971")))))))
   end.
Property StigmergyCommit-PT-07b-CTLFireability-2025-02
   "Automatically generated by Citili v2025"
   is:
      ! ((E (X (is-fireable("t3772")))) | ((A ((! (is-fireable("t15582"))) U ((! (A (F (is-fireable("t8642"))))) & (((is-fireable("t214")) | (is-fireable("t1921"))) & (A (X (is-fireable("t7006")))))))) | (E (G ((! (E (G (is-fireable("t15189"))))) & (((is-fireable("t7244")) & (is-fireable("t12494"))) | (! (is-fireable("t15911")))))))))
   end.
Property StigmergyCommit-PT-07b-CTLFireability-2025-03
   "Automatically generated by Citili v2025"
   is:
      E ((is-fireable("t8760")) U (! (E (F ((is-fireable("t13213")) | ((A (G (is-fireable("t862")))) | (A (G (is-fireable("t11378"))))))))))
   end.
Property StigmergyCommit-PT-07b-CTLFireability-2025-04
   "Automatically generated by Citili v2025"
   is:
      A (F (A (F (is-fireable("t11624")))))
   end.
Property StigmergyCommit-PT-07b-CTLFireability-2025-05
   "Automatically generated by Citili v2025"
   is:
      E ((! ((A ((is-fireable("t11640")) U (E (X (is-fireable("t14983")))))) & (! (E (F (! (is-fireable("t13045")))))))) U (is-fireable("t9573")))
   end.
Property StigmergyCommit-PT-07b-CTLFireability-2025-06
   "Automatically generated by Citili v2025"
   is:
      E (X (A (F (A ((E (G (is-fireable("t5827")))) U (((A (G (is-fireable("t14480")))) | (E ((is-fireable("t10217")) U (is-fireable("t1465"))))) & (((is-fireable("t6703")) & (is-fireable("t3019"))) | (! (is-fireable("t8320"))))))))))
   end.
Property StigmergyCommit-PT-07b-CTLFireability-2025-07
   "Automatically generated by Citili v2025"
   is:
      E (X ((E (G (! (is-fireable("t11535"))))) & (! (E (F ((E (G (is-fireable("t1989")))) | (((is-fireable("t8063")) | (is-fireable("t9046"))) & (A ((is-fireable("t14989")) U (is-fireable("t12839")))))))))))
   end.
Property StigmergyCommit-PT-07b-CTLFireability-2025-08
   "Automatically generated by Citili v2025"
   is:
      A (G (A (F (A ((((E (X (is-fireable("t6749")))) | ((is-fireable("t4138")) | (is-fireable("t3566")))) | (E (F (is-fireable("t15250"))))) U (is-fireable("t8727")))))))
   end.
Property StigmergyCommit-PT-07b-CTLFireability-2025-09
   "Automatically generated by Citili v2025"
   is:
      A ((! ((is-fireable("t1582")) & (A (G (E (F (is-fireable("t4903")))))))) U ((E (G (A (G (is-fireable("t12271")))))) & ((((A (X (is-fireable("t14256")))) & (E (X (is-fireable("t6262"))))) | ((A (F (A (X (is-fireable("t6937")))))) | (A (G (is-fireable("t14428")))))) & (((A (F (E (G (is-fireable("t1055")))))) & (is-fireable("t8150"))) | (is-fireable("t8067"))))))
   end.
Property StigmergyCommit-PT-07b-CTLFireability-2025-10
   "Automatically generated by Citili v2025"
   is:
      ! (A (F (! ((E (F (! (is-fireable("t3589"))))) | ((((is-fireable("t13988")) | (is-fireable("t14181"))) | (! (is-fireable("t5983")))) & ((is-fireable("t12978")) | (! (is-fireable("t11664")))))))))
   end.
Property StigmergyCommit-PT-07b-CTLFireability-2025-11
   "Automatically generated by Citili v2025"
   is:
      ! ((E (F (! (A (G (A (F (is-fireable("t14045"))))))))) | (E (G (is-fireable("t8212")))))
   end.
Property StigmergyCommit-PT-07b-CTLFireability-12
   "Automatically generated by Citili v2023"
   is:
      ! ((E (G (is-fireable("t10586")))) | (! (A (F ((! (A (G (is-fireable("t10507"))))) & (is-fireable("t13537")))))))
   end.
Property StigmergyCommit-PT-07b-CTLFireability-13
   "Automatically generated by Citili v2023"
   is:
      A ((A ((is-fireable("t4523")) U (((is-fireable("t13731")) & ((((is-fireable("t8156")) | (is-fireable("t451"))) & (E (X (is-fireable("t12156"))))) | (A (X (is-fireable("t4292")))))) | ((is-fireable("t6714")) | (is-fireable("t8698")))))) U ((A (F (is-fireable("t15716")))) | (is-fireable("t11269"))))
   end.
Property StigmergyCommit-PT-07b-CTLFireability-14
   "Automatically generated by Citili v2023"
   is:
      A (((((E (F (! (is-fireable("t2048"))))) & (A (F (((is-fireable("t4325")) & (is-fireable("t6383"))) & (E (X (is-fireable("t10674")))))))) & (A ((A (((is-fireable("t6873")) | (is-fireable("t443"))) U (is-fireable("t12527")))) U (A (G (A (F (is-fireable("t4492"))))))))) & (((A (X (E (F (is-fireable("t11843")))))) | (((! (A (G (is-fireable("t14848"))))) | (! (A (G (is-fireable("t1689")))))) & ((is-fireable("t14667")) & (is-fireable("t13104"))))) & (! (E (X (is-fireable("t15382"))))))) U ((is-fireable("t3661")) & (is-fireable("t9884"))))
   end.
Property StigmergyCommit-PT-07b-CTLFireability-15
   "Automatically generated by Citili v2023"
   is:
      ((! (A ((! (is-fireable("t4082"))) U (A (X ((is-fireable("t6207")) | (A (X (is-fireable("t4667")))))))))) & (! (A (F ((E (G (E (F (is-fireable("t11667")))))) | (is-fireable("t2599"))))))) & (E (X (E (X (E (X (E (F (is-fireable("t10652"))))))))))
   end.
