Property Dekker-PT-200-CTLFireability-2025-00
   "Automatically generated by Citili v2025"
   is:
      A (G (E (X (E (G (! (is-fireable("withdraw_25_104"))))))))
   end.
Property Dekker-PT-200-CTLFireability-2025-01
   "Automatically generated by Citili v2025"
   is:
      (A (F ((((A ((is-fireable("withdraw_72_165")) U ((is-fireable("withdraw_118_195")) | (is-fireable("withdraw_33_150"))))) & (A (G ((is-fireable("withdraw_119_74")) | (is-fireable("withdraw_79_138")))))) & (E (G (E ((is-fireable("withdraw_116_197")) U (is-fireable("withdraw_180_46"))))))) & (E (X (A (G (E (G (is-fireable("withdraw_104_69"))))))))))) & (A (X ((! ((is-fireable("withdraw_168_27")) | (is-fireable("withdraw_117_86")))) | (E (X (((E (X (is-fireable("withdraw_71_135")))) | (E (F (is-fireable("withdraw_1_180"))))) & (((is-fireable("withdraw_95_0")) | (is-fireable("withdraw_55_104"))) & ((is-fireable("withdraw_63_97")) & (is-fireable("enter_61"))))))))))
   end.
Property Dekker-PT-200-CTLFireability-2025-02
   "Automatically generated by Citili v2025"
   is:
      A (F (E (F (A (G (is-fireable("withdraw_170_125")))))))
   end.
Property Dekker-PT-200-CTLFireability-2025-03
   "Automatically generated by Citili v2025"
   is:
      (A ((E ((E (F ((is-fireable("withdraw_39_16")) & (! (is-fireable("withdraw_191_60")))))) U (is-fireable("withdraw_121_157")))) U (A (X (((is-fireable("withdraw_197_56")) & (is-fireable("withdraw_181_165"))) & (is-fireable("withdraw_50_71"))))))) | (A (F (is-fireable("withdraw_35_129"))))
   end.
Property Dekker-PT-200-CTLFireability-2025-04
   "Automatically generated by Citili v2025"
   is:
      A ((! (E (X (A (F (is-fireable("withdraw_156_146"))))))) U (E (X (is-fireable("withdraw_171_158")))))
   end.
Property Dekker-PT-200-CTLFireability-2025-05
   "Automatically generated by Citili v2025"
   is:
      A (G ((! (A (X (! (A (X (is-fireable("withdraw_138_37")))))))) & (A ((! (((is-fireable("withdraw_62_34")) & (is-fireable("withdraw_59_23"))) | (A (F (is-fireable("withdraw_194_169")))))) U (A ((is-fireable("withdraw_178_121")) U ((E (F (is-fireable("withdraw_111_144")))) & (A ((is-fireable("withdraw_52_124")) U (is-fireable("withdraw_17_118")))))))))))
   end.
Property Dekker-PT-200-CTLFireability-2025-06
   "Automatically generated by Citili v2025"
   is:
      A ((A (G ((A ((E (F (is-fireable("withdraw_47_106")))) U ((E (F (is-fireable("withdraw_171_93")))) | ((is-fireable("withdraw_79_176")) & (is-fireable("withdraw_80_40")))))) | (! (E ((is-fireable("withdraw_39_116")) U ((is-fireable("withdraw_195_155")) | (is-fireable("withdraw_179_128"))))))))) U (E (X (is-fireable("withdraw_119_74")))))
   end.
Property Dekker-PT-200-CTLFireability-2025-07
   "Automatically generated by Citili v2025"
   is:
      (E (X ((! (A (X ((is-fireable("withdraw_185_24")) & (is-fireable("withdraw_11_105")))))) & ((A (F (A (G (is-fireable("withdraw_91_38")))))) | (! (is-fireable("withdraw_49_70"))))))) & (A (G (E (((((E ((is-fireable("withdraw_138_31")) U (is-fireable("withdraw_193_7")))) & (A ((is-fireable("withdraw_189_29")) U (is-fireable("withdraw_39_26"))))) & (((is-fireable("withdraw_83_138")) & (is-fireable("withdraw_81_149"))) & (E (G (is-fireable("withdraw_80_130")))))) | (E (F ((is-fireable("withdraw_12_126")) | (is-fireable("withdraw_120_128")))))) U (is-fireable("withdraw_103_129"))))))
   end.
Property Dekker-PT-200-CTLFireability-2025-08
   "Automatically generated by Citili v2025"
   is:
      E (F ((E (X ((A (X (! (is-fireable("withdraw_22_26"))))) & (is-fireable("withdraw_2_106"))))) & (E (F (((is-fireable("withdraw_25_80")) | ((A (G (is-fireable("withdraw_195_122")))) | (! (is-fireable("withdraw_191_112"))))) & (! (E (G (is-fireable("withdraw_139_77"))))))))))
   end.
Property Dekker-PT-200-CTLFireability-2025-09
   "Automatically generated by Citili v2025"
   is:
      E (F (A (F (is-fireable("withdraw_104_109")))))
   end.
Property Dekker-PT-200-CTLFireability-2025-10
   "Automatically generated by Citili v2025"
   is:
      E (G (! (A (X ((E (F (is-fireable("withdraw_91_151")))) | (A (X (is-fireable("withdraw_19_31")))))))))
   end.
Property Dekker-PT-200-CTLFireability-2025-11
   "Automatically generated by Citili v2025"
   is:
      ! (((A (G (is-fireable("withdraw_10_151")))) | (A ((A (F (((is-fireable("withdraw_14_38")) & (is-fireable("withdraw_145_45"))) | (! (is-fireable("withdraw_28_192")))))) U (is-fireable("withdraw_150_113"))))) & (A (G (E (G (! (E (X (is-fireable("withdraw_135_154"))))))))))
   end.
Property Dekker-PT-200-CTLFireability-12
   "Automatically generated by Citili v2023"
   is:
      E (F (is-fireable("withdraw_124_126")))
   end.
Property Dekker-PT-200-CTLFireability-13
   "Automatically generated by Citili v2023"
   is:
      A (F (E (G (E (G (! ((is-fireable("withdraw_6_80")) | (! (is-fireable("withdraw_47_70"))))))))))
   end.
Property Dekker-PT-200-CTLFireability-14
   "Automatically generated by Citili v2023"
   is:
      (E (X (E ((A ((((is-fireable("withdraw_84_39")) | (is-fireable("withdraw_115_82"))) | ((is-fireable("withdraw_78_150")) | (is-fireable("withdraw_76_132")))) U (E ((is-fireable("withdraw_140_19")) U (is-fireable("withdraw_25_161")))))) U (((! (A (F (is-fireable("withdraw_168_193"))))) | ((! (is-fireable("withdraw_90_148"))) | (is-fireable("withdraw_116_164")))) & (((! (is-fireable("withdraw_55_54"))) | ((is-fireable("withdraw_37_183")) & (is-fireable("withdraw_131_36")))) | (! ((is-fireable("withdraw_53_133")) | (is-fireable("withdraw_19_136")))))))))) & (E ((! (is-fireable("withdraw_18_137"))) U (is-fireable("withdraw_68_75"))))
   end.
Property Dekker-PT-200-CTLFireability-15
   "Automatically generated by Citili v2023"
   is:
      E (G (E ((E ((A (G (is-fireable("withdraw_100_63")))) U ((A (X (is-fireable("withdraw_7_150")))) | (! (E ((is-fireable("withdraw_192_39")) U (is-fireable("withdraw_31_183")))))))) U (A (F (is-fireable("withdraw_84_191")))))))
   end.
