Property ResIsolation-PT-N09P5-CTLFireability-2025-00
   "Automatically generated by Citili v2025"
   is:
      A (F (E (((((is-fireable("t75404")) | (E (G (is-fireable("t79954"))))) & ((((is-fireable("t2350")) & (is-fireable("t55704"))) | (A (F (is-fireable("t64211"))))) | (A (F (is-fireable("t112833")))))) | ((! (E (G (is-fireable("t47430"))))) & (! (is-fireable("t145675"))))) U (((E (X (A (X (is-fireable("t102882")))))) & ((A ((is-fireable("t21756")) U (is-fireable("t125053")))) & (((is-fireable("t146888")) & (is-fireable("t120418"))) & (! (is-fireable("t81318")))))) & (((E ((is-fireable("t67874")) U (is-fireable("t135889")))) | ((A (G (is-fireable("t32977")))) & (A (G (is-fireable("t69003")))))) & ((A (G (is-fireable("t32768")))) & (E (X (is-fireable("t10946"))))))))))
   end.
Property ResIsolation-PT-N09P5-CTLFireability-2025-01
   "Automatically generated by Citili v2025"
   is:
      ! (E (F (is-fireable("t82247"))))
   end.
Property ResIsolation-PT-N09P5-CTLFireability-2025-02
   "Automatically generated by Citili v2025"
   is:
      E (G (E (F (((is-fireable("t88957")) & (A (F (E (G (is-fireable("t41175"))))))) | ((A (F (A (X (is-fireable("t50793")))))) & (A (((is-fireable("t12135")) & (is-fireable("t118307"))) U (! (is-fireable("t51632"))))))))))
   end.
Property ResIsolation-PT-N09P5-CTLFireability-2025-03
   "Automatically generated by Citili v2025"
   is:
      ! (A ((((! (A (X (A (G (is-fireable("t72309"))))))) | (E (F (A ((is-fireable("t30381")) U (is-fireable("t94078"))))))) & (is-fireable("t135927"))) U ((E (F (((! (is-fireable("t11911"))) | (E (X (is-fireable("t81021"))))) & (A ((is-fireable("t25842")) U (is-fireable("t95650"))))))) & (! ((is-fireable("t137155")) & (is-fireable("t8064")))))))
   end.
Property ResIsolation-PT-N09P5-CTLFireability-2025-04
   "Automatically generated by Citili v2025"
   is:
      A (G (((((A (X (! (is-fireable("t110402"))))) & (is-fireable("t12322"))) | ((is-fireable("t69856")) | (E (X (E (G (is-fireable("t11775")))))))) | (is-fireable("t67659"))) | (! (is-fireable("t144196")))))
   end.
Property ResIsolation-PT-N09P5-CTLFireability-2025-05
   "Automatically generated by Citili v2025"
   is:
      ! (E (F ((! ((is-fireable("t29955")) & ((E (X (is-fireable("t114845")))) | (! (is-fireable("t83616")))))) & (A ((! (((is-fireable("t82435")) & (is-fireable("t21018"))) | ((is-fireable("t40771")) | (is-fireable("t19386"))))) U (! (E (F (is-fireable("t118161"))))))))))
   end.
Property ResIsolation-PT-N09P5-CTLFireability-2025-06
   "Automatically generated by Citili v2025"
   is:
      (E (X (! (E (F ((A (G (is-fireable("t147629")))) | (E (X (is-fireable("t99774")))))))))) & ((E (F ((! (E (G (is-fireable("t85204"))))) & ((! ((A (X (is-fireable("t106909")))) | (A (X (is-fireable("t92428")))))) & ((E (G (is-fireable("t105230")))) & ((is-fireable("t82309")) | (is-fireable("t36037")))))))) & (E ((! (E ((! (is-fireable("t66614"))) U (E (G (is-fireable("t133608"))))))) U ((A ((is-fireable("t28930")) U (! ((is-fireable("t128742")) & (is-fireable("t12633")))))) & (E ((((is-fireable("t139368")) & (is-fireable("t71448"))) | (is-fireable("t111848"))) U (A (X (is-fireable("t4916"))))))))))
   end.
Property ResIsolation-PT-N09P5-CTLFireability-2025-07
   "Automatically generated by Citili v2025"
   is:
      A (G (E (F (A (F ((E (G (is-fireable("t78543")))) & (E ((is-fireable("t93960")) U (is-fireable("t77876"))))))))))
   end.
Property ResIsolation-PT-N09P5-CTLFireability-2025-08
   "Automatically generated by Citili v2025"
   is:
      ! (A (F (E (X (((E (F (is-fireable("t62191")))) | ((is-fireable("t28099")) & (is-fireable("t16114")))) | (A (F ((is-fireable("t19957")) | (is-fireable("t30787"))))))))))
   end.
Property ResIsolation-PT-N09P5-CTLFireability-2025-09
   "Automatically generated by Citili v2025"
   is:
      (A (G (E (X (! ((is-fireable("t102722")) & (is-fireable("t88687")))))))) | ((A (G (! (E ((((is-fireable("t94150")) & (is-fireable("t142369"))) & ((is-fireable("t138969")) & (is-fireable("t142621")))) U (! (A (X (is-fireable("t124587")))))))))) | (A (F (((A (G ((is-fireable("t51082")) | (is-fireable("t93079"))))) & (E (X (! (is-fireable("t19764")))))) & (! ((E (F (is-fireable("t64347")))) | (is-fireable("t14566"))))))))
   end.
Property ResIsolation-PT-N09P5-CTLFireability-2025-10
   "Automatically generated by Citili v2025"
   is:
      ! ((A (G (! (A (F (E (F (is-fireable("t31869"))))))))) | (A (((! (E ((E (F (is-fireable("t4615")))) U ((is-fireable("t45466")) & (is-fireable("t100857")))))) & (A (X (! ((is-fireable("t120855")) & (is-fireable("t85756"))))))) U ((E (G (! ((is-fireable("t86568")) | (is-fireable("t34510")))))) & (A (G (A (X (is-fireable("t91009"))))))))))
   end.
Property ResIsolation-PT-N09P5-CTLFireability-2025-11
   "Automatically generated by Citili v2025"
   is:
      A (G ((! (is-fireable("t112210"))) & ((E ((E (F (! (is-fireable("t32545"))))) U (! (A ((is-fireable("t79346")) U (is-fireable("t37103"))))))) & (E (X (! (A (X (is-fireable("t9538"))))))))))
   end.
Property ResIsolation-PT-N09P5-CTLFireability-12
   "Automatically generated by Citili v2024"
   is:
      ! (E ((! (is-fireable("t5140"))) U ((((is-fireable("t19689")) & (E ((is-fireable("t47471")) U (! (is-fireable("t91934")))))) & (A (X (is-fireable("t39731"))))) | (! (E (X (! ((is-fireable("t35781")) | (is-fireable("t28120"))))))))))
   end.
Property ResIsolation-PT-N09P5-CTLFireability-13
   "Automatically generated by Citili v2024"
   is:
      E (F (E (G (A (G ((((is-fireable("t99572")) | (is-fireable("t61501"))) | (E (G (is-fireable("t137057"))))) | (! ((is-fireable("t122177")) | (is-fireable("t120338"))))))))))
   end.
Property ResIsolation-PT-N09P5-CTLFireability-14
   "Automatically generated by Citili v2024"
   is:
      ! (E (F (((! (E ((is-fireable("t8805")) U (is-fireable("t32202"))))) & (E (F ((is-fireable("t146528")) | (is-fireable("t92007")))))) | ((is-fireable("t28440")) & (A (((is-fireable("t45763")) | (is-fireable("t103543"))) U (! (is-fireable("t29811")))))))))
   end.
Property ResIsolation-PT-N09P5-CTLFireability-15
   "Automatically generated by Citili v2024"
   is:
      E ((is-fireable("t85265")) U ((! ((A (G (E (X (is-fireable("t104267")))))) | ((E ((! (is-fireable("t127428"))) U ((is-fireable("t801")) | (is-fireable("t95518"))))) | ((is-fireable("t30067")) | (E (X (is-fireable("t133278")))))))) & (A (F (A (X (! (is-fireable("t71344")))))))))
   end.
