Property ResIsolation-PT-N09P2-CTLFireability-2025-00
   "Automatically generated by Citili v2025"
   is:
      A (((is-fireable("t8430")) & (! (E (X (E (F (is-fireable("t9138")))))))) U ((E (X ((! (is-fireable("t5903"))) & ((E (F (is-fireable("t4985")))) & (((is-fireable("t13762")) | (is-fireable("t15513"))) | ((is-fireable("t14949")) & (is-fireable("t13564")))))))) | (((E ((! ((is-fireable("t6694")) | (is-fireable("t743")))) U ((E (G (is-fireable("t17213")))) & (! (is-fireable("t11707")))))) & (! (E ((is-fireable("t15434")) U (is-fireable("t3787")))))) & (A (((A (F (is-fireable("t17025")))) & ((! (is-fireable("t6965"))) & (! (is-fireable("t7598"))))) U (E (F ((is-fireable("t14233")) | (is-fireable("t1369"))))))))))
   end.
Property ResIsolation-PT-N09P2-CTLFireability-2025-01
   "Automatically generated by Citili v2025"
   is:
      E (F ((E (X (is-fireable("t12205")))) | (E (X (is-fireable("t16263"))))))
   end.
Property ResIsolation-PT-N09P2-CTLFireability-2025-02
   "Automatically generated by Citili v2025"
   is:
      A (((((! ((! ((is-fireable("t3958")) | (is-fireable("t10129")))) | (is-fireable("t15676")))) | (E (G ((E ((is-fireable("t4819")) U (is-fireable("t18452")))) | ((is-fireable("t7469")) | (is-fireable("t17169"))))))) & ((! (E ((is-fireable("t10217")) U ((is-fireable("t11174")) | (is-fireable("t17778")))))) | (is-fireable("t15129")))) | (E (X (is-fireable("t14177"))))) U (A (X (((((A (X (is-fireable("t10561")))) | (E (X (is-fireable("t10679"))))) | (((is-fireable("t5866")) | (is-fireable("t17737"))) & (A ((is-fireable("t6677")) U (is-fireable("t13115")))))) | (E (F ((is-fireable("t4130")) & (is-fireable("t16976")))))) | ((A (G (is-fireable("t8544")))) | ((((is-fireable("t12508")) & (is-fireable("t3676"))) & (! (is-fireable("t17025")))) | ((! (is-fireable("t12647"))) & ((is-fireable("t3911")) & (is-fireable("t13530"))))))))))
   end.
Property ResIsolation-PT-N09P2-CTLFireability-2025-03
   "Automatically generated by Citili v2025"
   is:
      (A (X (! (A ((! ((! (is-fireable("t15649"))) & (is-fireable("t476")))) U (((! (is-fireable("t13044"))) | (E (F (is-fireable("t3385"))))) & (! (E (G (is-fireable("t8751"))))))))))) | (A (G (A (X (E (F (E ((is-fireable("t7490")) U (is-fireable("t9348"))))))))))
   end.
Property ResIsolation-PT-N09P2-CTLFireability-2025-04
   "Automatically generated by Citili v2025"
   is:
      E (F ((E ((! ((((is-fireable("t14823")) & (is-fireable("t2848"))) & (is-fireable("t13624"))) | ((A ((is-fireable("t4565")) U (is-fireable("t14878")))) & (A (G (is-fireable("t9404"))))))) U (A ((A (G (is-fireable("t9968")))) U (is-fireable("t18076")))))) | (E (X (is-fireable("t14216"))))))
   end.
Property ResIsolation-PT-N09P2-CTLFireability-2025-05
   "Automatically generated by Citili v2025"
   is:
      (! (E (((! (E (((is-fireable("t8709")) | (is-fireable("t18325"))) U (! (is-fireable("t2982")))))) & (E (F ((A ((is-fireable("t1917")) U (is-fireable("t4684")))) & (A (X (is-fireable("t14108")))))))) U (! (A (F ((is-fireable("t1554")) | ((is-fireable("t17389")) & (is-fireable("t1235")))))))))) | ((E (F (E ((! (is-fireable("t4729"))) U (A (F (E ((is-fireable("t9414")) U (is-fireable("t365")))))))))) & (A (X (! (is-fireable("t17806"))))))
   end.
Property ResIsolation-PT-N09P2-CTLFireability-2025-06
   "Automatically generated by Citili v2025"
   is:
      E (G ((A (F ((E (F ((is-fireable("t16056")) & (is-fireable("t15239"))))) | (is-fireable("t16961"))))) & (((! ((is-fireable("t7057")) & (E (G (is-fireable("t14670")))))) | ((is-fireable("t3379")) & (! (A (X (is-fireable("t17897"))))))) | (E (G (E (F (is-fireable("t12581")))))))))
   end.
Property ResIsolation-PT-N09P2-CTLFireability-2025-07
   "Automatically generated by Citili v2025"
   is:
      A (G ((! ((is-fireable("t2462")) & ((E ((E (G (is-fireable("t2177")))) U ((is-fireable("t1460")) & (is-fireable("t5999"))))) | ((E (X (is-fireable("t13309")))) | (E (X (is-fireable("t12551")))))))) & (! (E (G (is-fireable("t9522")))))))
   end.
Property ResIsolation-PT-N09P2-CTLFireability-2025-08
   "Automatically generated by Citili v2025"
   is:
      E (G ((E (X ((! (A ((is-fireable("t8579")) U (is-fireable("t16147"))))) | (E (F (A (X (is-fireable("t16777"))))))))) & (A (X (! (E (F (is-fireable("t1143")))))))))
   end.
Property ResIsolation-PT-N09P2-CTLFireability-2025-09
   "Automatically generated by Citili v2025"
   is:
      E (G (E (F (A (F (A (X (E (G (is-fireable("t10232")))))))))))
   end.
Property ResIsolation-PT-N09P2-CTLFireability-2025-10
   "Automatically generated by Citili v2025"
   is:
      (A (X (E (G (E (F (E ((is-fireable("t15249")) U (is-fireable("t14292")))))))))) & (A (G (((E (F ((! (is-fireable("t3086"))) & (! (is-fireable("t6688")))))) | (E (G (is-fireable("t6853"))))) & (A (F ((! (A (G (is-fireable("t5962"))))) | ((! (is-fireable("t13674"))) & (E (G (is-fireable("t2157")))))))))))
   end.
Property ResIsolation-PT-N09P2-CTLFireability-2025-11
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("t3709")))
   end.
Property ResIsolation-PT-N09P2-CTLFireability-12
   "Automatically generated by Citili v2024"
   is:
      E ((! (A ((A (G (is-fireable("t2381")))) U (is-fireable("t591"))))) U (A (G ((((A ((is-fireable("t621")) U (is-fireable("t17761")))) | (E (F (is-fireable("t2340"))))) | (! (is-fireable("t10079")))) | ((is-fireable("t18647")) & (E (G (is-fireable("t6198")))))))))
   end.
Property ResIsolation-PT-N09P2-CTLFireability-13
   "Automatically generated by Citili v2024"
   is:
      E ((A (X ((! (A (F (E (F (is-fireable("t12806"))))))) | ((! (A (X (is-fireable("t8666"))))) & (! (((is-fireable("t8087")) & (is-fireable("t11651"))) & (! (is-fireable("t1192"))))))))) U (is-fireable("t15155")))
   end.
Property ResIsolation-PT-N09P2-CTLFireability-14
   "Automatically generated by Citili v2024"
   is:
      E ((E ((! ((E (G ((is-fireable("t5895")) | (is-fireable("t6313"))))) | (! ((! (is-fireable("t3660"))) & (! (is-fireable("t17416"))))))) U (((E ((! (is-fireable("t8114"))) U ((is-fireable("t12833")) | (is-fireable("t7984"))))) | (((is-fireable("t17421")) & (! (is-fireable("t3043")))) & ((is-fireable("t13467")) & ((is-fireable("t5599")) & (is-fireable("t8178")))))) | (! (E (G ((is-fireable("t9940")) | (is-fireable("t15409"))))))))) U (is-fireable("t972")))
   end.
Property ResIsolation-PT-N09P2-CTLFireability-15
   "Automatically generated by Citili v2024"
   is:
      ! (A (G (! ((((! ((is-fireable("t5717")) & (is-fireable("t604")))) | (! ((is-fireable("t14225")) & (is-fireable("t14995"))))) & (((E (X (is-fireable("t18114")))) & ((is-fireable("t8545")) & (is-fireable("t6091")))) | (E (X (is-fireable("t4373")))))) & (is-fireable("t4779"))))))
   end.
