Property ErlangenMainframeV0-PT-1104-CTLFireability-2025-00
   "Automatically generated by Citili v2025"
   is:
      E (((E ((is-fireable("t9952")) U (! (E (F (E (X (is-fireable("t3757"))))))))) | ((is-fireable("t22053")) | (E (((A (G (is-fireable("t14385")))) | (E (X (is-fireable("t21235"))))) U (! (E ((is-fireable("t1970")) U (is-fireable("t5390"))))))))) U ((E (((is-fireable("t3920")) | (E (X ((is-fireable("t2567")) & (is-fireable("t1770")))))) U (A (X (E ((is-fireable("t26869")) U (is-fireable("t14630")))))))) | (A (X ((! (is-fireable("t28212"))) & ((A (X (is-fireable("t28918")))) & (E ((is-fireable("t30599")) U (is-fireable("t24709"))))))))))
   end.
Property ErlangenMainframeV0-PT-1104-CTLFireability-2025-01
   "Automatically generated by Citili v2025"
   is:
      E (F ((A (((E ((A (X (is-fireable("t10234")))) U (is-fireable("t14410")))) | (is-fireable("t2073"))) U (! (E (G (is-fireable("t19165"))))))) & (is-fireable("t4951"))))
   end.
Property ErlangenMainframeV0-PT-1104-CTLFireability-2025-02
   "Automatically generated by Citili v2025"
   is:
      A (F (E (F ((A (X (E (X (is-fireable("t17363")))))) | (E (G (E (G (is-fireable("t13493"))))))))))
   end.
Property ErlangenMainframeV0-PT-1104-CTLFireability-2025-03
   "Automatically generated by Citili v2025"
   is:
      A (((A (((E (G (is-fireable("t2183")))) | (! ((! (is-fireable("t21279"))) | ((is-fireable("t9692")) | (is-fireable("t6476")))))) U (is-fireable("t17137")))) | (A (F (is-fireable("t31175"))))) U ((A ((is-fireable("t11770")) U (A (X (E (F (is-fireable("t10691")))))))) | (E (F (is-fireable("t25201"))))))
   end.
Property ErlangenMainframeV0-PT-1104-CTLFireability-2025-04
   "Automatically generated by Citili v2025"
   is:
      E ((E ((! (E (G (is-fireable("t1034"))))) U (! (is-fireable("t20315"))))) U (E (F (A (G (! ((is-fireable("t19585")) | ((is-fireable("t8723")) & (is-fireable("t2790"))))))))))
   end.
Property ErlangenMainframeV0-PT-1104-CTLFireability-2025-05
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("t11226")))
   end.
Property ErlangenMainframeV0-PT-1104-CTLFireability-2025-06
   "Automatically generated by Citili v2025"
   is:
      (! (E (F (is-fireable("t11651"))))) & ((! ((A (G (E (X ((is-fireable("t11084")) | (is-fireable("t23058"))))))) | (E (G ((! ((is-fireable("t11749")) & (is-fireable("t11564")))) & (A (X (is-fireable("t27479"))))))))) | (E (X (is-fireable("t16200")))))
   end.
Property ErlangenMainframeV0-PT-1104-CTLFireability-2025-07
   "Automatically generated by Citili v2025"
   is:
      A (G (A (F ((E ((! (is-fireable("t8182"))) U (A ((is-fireable("t26663")) U (is-fireable("t26140")))))) & ((! (is-fireable("t11997"))) & (! (E (G (is-fireable("t3433"))))))))))
   end.
Property ErlangenMainframeV0-PT-1104-CTLFireability-2025-08
   "Automatically generated by Citili v2025"
   is:
      A (G (E ((! (is-fireable("t15495"))) U (is-fireable("t20436")))))
   end.
Property ErlangenMainframeV0-PT-1104-CTLFireability-2025-09
   "Automatically generated by Citili v2025"
   is:
      (E ((E (X (E (X (E (G (is-fireable("t13073")))))))) U (A (X (E (F ((is-fireable("t7153")) & ((is-fireable("t3891")) & (is-fireable("t773")))))))))) & (E (F (((! (E ((E ((is-fireable("t17727")) U (is-fireable("t28494")))) U (! (is-fireable("t16833")))))) | (E (G (is-fireable("t3551"))))) | (A (X (is-fireable("t25503")))))))
   end.
Property ErlangenMainframeV0-PT-1104-CTLFireability-2025-10
   "Automatically generated by Citili v2025"
   is:
      ! (E (((! (((A (F (is-fireable("t4227")))) | (! (is-fireable("t21515")))) & (E (G (is-fireable("t13637")))))) & (! (is-fireable("t25037")))) U (E ((is-fireable("t10078")) U (((A (F (is-fireable("t5783")))) | (((is-fireable("t31135")) | (is-fireable("t19263"))) | (! (is-fireable("t23387"))))) & (! (((is-fireable("t27015")) | (is-fireable("t17426"))) | (E (F (is-fireable("t18086")))))))))))
   end.
Property ErlangenMainframeV0-PT-1104-CTLFireability-2025-11
   "Automatically generated by Citili v2025"
   is:
      (A (G (! (E (F (E (F (E (F (is-fireable("t15919"))))))))))) | (E ((is-fireable("t27721")) U ((is-fireable("t4221")) | (E (X (((is-fireable("t12411")) & ((is-fireable("t14810")) | (is-fireable("t30194")))) | (E ((is-fireable("t8461")) U (is-fireable("t13138"))))))))))
   end.
Property ErlangenMainframeV0-PT-1104-CTLFireability-2025-12
   "Automatically generated by Citili v2025"
   is:
      A (G (A (F (A (F (! (A (G (is-fireable("t13090"))))))))))
   end.
Property ErlangenMainframeV0-PT-1104-CTLFireability-2025-13
   "Automatically generated by Citili v2025"
   is:
      A (F (! (E ((! ((A ((is-fireable("t1351")) U (is-fireable("t16373")))) | ((! (is-fireable("t1900"))) & (is-fireable("t537"))))) U (E (G (E (G (is-fireable("t17565"))))))))))
   end.
Property ErlangenMainframeV0-PT-1104-CTLFireability-2025-14
   "Automatically generated by Citili v2025"
   is:
      E (F (E ((E (X (E (G (is-fireable("t9700")))))) U (E (X (! ((! (is-fireable("t14252"))) | (A (F (is-fireable("t30009")))))))))))
   end.
Property ErlangenMainframeV0-PT-1104-CTLFireability-2025-15
   "Automatically generated by Citili v2025"
   is:
      E ((E ((E (F ((is-fireable("t28517")) | (is-fireable("t10880"))))) U (A (X (is-fireable("t22628")))))) U ((is-fireable("t9131")) & (A ((E (G ((A (X (is-fireable("t7388")))) & ((is-fireable("t5444")) | (is-fireable("t5682")))))) U (A (F (A (G (is-fireable("t22336"))))))))))
   end.
