Property ErlangenMainframeV0-PT-1106-CTLFireability-2025-00
   "Automatically generated by Citili v2025"
   is:
      A (G (E (F (E (F (is-fireable("t33096")))))))
   end.
Property ErlangenMainframeV0-PT-1106-CTLFireability-2025-01
   "Automatically generated by Citili v2025"
   is:
      (A (G (A ((E ((A (F (is-fireable("t45643")))) U ((A (X (is-fireable("t48542")))) | (! (is-fireable("t68393")))))) U (E (F (is-fireable("t69581")))))))) | (E (G ((A (G (! (is-fireable("t2643"))))) | ((E ((E (F (is-fireable("t25644")))) U (A (X (is-fireable("t40161")))))) & ((E (X ((is-fireable("t9241")) & (is-fireable("t3204"))))) & (E ((A (G (is-fireable("t46236")))) U (is-fireable("t6093")))))))))
   end.
Property ErlangenMainframeV0-PT-1106-CTLFireability-2025-02
   "Automatically generated by Citili v2025"
   is:
      A (G ((is-fireable("t21173")) | ((! ((is-fireable("t31972")) & (((A (G (is-fireable("t30282")))) | ((is-fireable("t18036")) & (is-fireable("t67724")))) | (((is-fireable("t17173")) & (is-fireable("t38247"))) | (! (is-fireable("t21050"))))))) & (! ((! ((E (X (is-fireable("t51468")))) & ((is-fireable("t61928")) | (is-fireable("t55845"))))) & ((! (is-fireable("t26162"))) & ((is-fireable("t58183")) | (A (F (is-fireable("t5133")))))))))))
   end.
Property ErlangenMainframeV0-PT-1106-CTLFireability-2025-03
   "Automatically generated by Citili v2025"
   is:
      A (G (! (E (G (is-fireable("t28949"))))))
   end.
Property ErlangenMainframeV0-PT-1106-CTLFireability-2025-04
   "Automatically generated by Citili v2025"
   is:
      A (X ((E (F (is-fireable("t21499")))) | (is-fireable("t57644"))))
   end.
Property ErlangenMainframeV0-PT-1106-CTLFireability-2025-05
   "Automatically generated by Citili v2025"
   is:
      A (G (! (((A (X (E ((is-fireable("t63617")) U (is-fireable("t35766")))))) & ((is-fireable("t9990")) | (is-fireable("t39152")))) & (E (G (is-fireable("t52983")))))))
   end.
Property ErlangenMainframeV0-PT-1106-CTLFireability-2025-06
   "Automatically generated by Citili v2025"
   is:
      E (F (! (E (F ((is-fireable("t44521")) | (E (G (is-fireable("t26802")))))))))
   end.
Property ErlangenMainframeV0-PT-1106-CTLFireability-2025-07
   "Automatically generated by Citili v2025"
   is:
      A (G (A (G (E (((A (F (is-fireable("t40002")))) & (E (F (is-fireable("t50544"))))) U ((A ((is-fireable("t46809")) U (is-fireable("t39923")))) | ((! (is-fireable("t29646"))) | ((is-fireable("t64732")) | (is-fireable("t39470"))))))))))
   end.
Property ErlangenMainframeV0-PT-1106-CTLFireability-2025-08
   "Automatically generated by Citili v2025"
   is:
      ! (A (X (A (G (E (G (! ((is-fireable("t51580")) | (is-fireable("t46728"))))))))))
   end.
Property ErlangenMainframeV0-PT-1106-CTLFireability-2025-09
   "Automatically generated by Citili v2025"
   is:
      (A ((is-fireable("t66229")) U (E (F (E ((A (F (is-fireable("t24306")))) U (! ((is-fireable("t51442")) & (is-fireable("t50740")))))))))) & (! (E (((A (G (! ((is-fireable("t64913")) | (is-fireable("t13562")))))) | (((! (E ((is-fireable("t67775")) U (is-fireable("t41889"))))) & (A (F (is-fireable("t50876"))))) & (E ((E (X (is-fireable("t2399")))) U (A ((is-fireable("t27410")) U (is-fireable("t65989")))))))) U (is-fireable("t13020")))))
   end.
Property ErlangenMainframeV0-PT-1106-CTLFireability-2025-10
   "Automatically generated by Citili v2025"
   is:
      A (G ((E ((! (E (X (E ((is-fireable("t69370")) U (is-fireable("t47265"))))))) U ((E (((is-fireable("t27939")) & (is-fireable("t31661"))) U (is-fireable("t29725")))) | ((is-fireable("t41123")) & ((is-fireable("t30920")) | ((is-fireable("t40293")) & (is-fireable("t25017")))))))) | (A ((! ((! (is-fireable("t69289"))) | ((is-fireable("t32707")) | (is-fireable("t69683"))))) U (is-fireable("t36892"))))))
   end.
Property ErlangenMainframeV0-PT-1106-CTLFireability-2025-11
   "Automatically generated by Citili v2025"
   is:
      E (F (E (F (E (((is-fireable("t46141")) | (is-fireable("t48475"))) U ((is-fireable("t19964")) & (is-fireable("t30588"))))))))
   end.
Property ErlangenMainframeV0-PT-1106-CTLFireability-2025-12
   "Automatically generated by Citili v2025"
   is:
      A (G (E (X ((E ((A (F (is-fireable("t675")))) U ((is-fireable("t59676")) | (is-fireable("t20067"))))) | (((is-fireable("t7195")) | ((is-fireable("t19976")) | ((is-fireable("t40797")) & (is-fireable("t25691"))))) | (E ((! (is-fireable("t1248"))) U (is-fireable("t7838")))))))))
   end.
Property ErlangenMainframeV0-PT-1106-CTLFireability-2025-13
   "Automatically generated by Citili v2025"
   is:
      ! (E (F (A (G (is-fireable("t34471"))))))
   end.
Property ErlangenMainframeV0-PT-1106-CTLFireability-2025-14
   "Automatically generated by Citili v2025"
   is:
      A ((! ((A (F (! (A (X (is-fireable("t54115"))))))) & (A ((is-fireable("t63814")) U (A (G ((is-fireable("t7036")) & (is-fireable("t59270"))))))))) U (E (F ((A (G (A (G (is-fireable("t56076")))))) | (E (F ((A (G (is-fireable("t13197")))) | (E ((is-fireable("t61828")) U (is-fireable("t13597")))))))))))
   end.
Property ErlangenMainframeV0-PT-1106-CTLFireability-2025-15
   "Automatically generated by Citili v2025"
   is:
      E (((A (((E (G (! (is-fireable("t41850"))))) | ((! (A ((is-fireable("t66757")) U (is-fireable("t67490"))))) | (! (is-fireable("t63143"))))) U (A (G ((E (X (is-fireable("t36617")))) | ((is-fireable("t22343")) & (is-fireable("t36668")))))))) & (! (is-fireable("t23267")))) U (E (F ((is-fireable("t57682")) | (! (A (G (E (F (is-fireable("t21948")))))))))))
   end.
