Property Dekker-PT-200-ReachabilityFireability-2025-00
   "Automatically generated by Citili v2025"
   is:
      A (G (! ((is-fireable("withdraw_64_87")) | (((! (((((is-fireable("withdraw_97_53")) & (is-fireable("withdraw_73_134"))) & (! (is-fireable("withdraw_11_13")))) & (! (is-fireable("withdraw_43_154")))) & ((! ((is-fireable("withdraw_121_137")) & (is-fireable("withdraw_130_185")))) | ((is-fireable("withdraw_138_71")) & (is-fireable("withdraw_188_140")))))) & (is-fireable("withdraw_192_153"))) & (is-fireable("withdraw_7_62"))))))
   end.
Property Dekker-PT-200-ReachabilityFireability-2025-01
   "Automatically generated by Citili v2025"
   is:
      A (G ((! ((((! (is-fireable("withdraw_179_134"))) & ((((is-fireable("withdraw_79_93")) | (is-fireable("withdraw_103_75"))) | ((! (is-fireable("withdraw_49_95"))) & ((is-fireable("withdraw_7_18")) | (is-fireable("withdraw_64_19"))))) | (((is-fireable("withdraw_83_193")) & ((is-fireable("withdraw_64_128")) | (is-fireable("withdraw_28_71")))) | (((is-fireable("withdraw_174_0")) & (is-fireable("withdraw_123_163"))) & ((is-fireable("withdraw_190_41")) | (is-fireable("withdraw_189_24"))))))) & (is-fireable("withdraw_159_152"))) & (is-fireable("withdraw_186_180")))) | (is-fireable("withdraw_38_28"))))
   end.
Property Dekker-PT-200-ReachabilityFireability-2025-02
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("withdraw_49_138")))
   end.
Property Dekker-PT-200-ReachabilityFireability-2025-03
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("withdraw_141_8")))
   end.
Property Dekker-PT-200-ReachabilityFireability-2025-04
   "Automatically generated by Citili v2025"
   is:
      A (G (! ((is-fireable("withdraw_34_77")) & (((((((is-fireable("withdraw_75_146")) | ((is-fireable("withdraw_66_104")) & (is-fireable("withdraw_81_191")))) & (! ((is-fireable("withdraw_73_61")) | (is-fireable("withdraw_28_161"))))) | ((is-fireable("withdraw_65_157")) | (! ((is-fireable("withdraw_54_120")) | (is-fireable("withdraw_154_192")))))) | ((((! (is-fireable("withdraw_148_127"))) | ((is-fireable("withdraw_24_80")) | (is-fireable("withdraw_126_178")))) | (((is-fireable("withdraw_136_194")) | (is-fireable("withdraw_123_64"))) | ((is-fireable("withdraw_33_198")) & (is-fireable("withdraw_68_81"))))) | ((is-fireable("withdraw_60_135")) & ((is-fireable("withdraw_108_158")) | ((is-fireable("withdraw_171_65")) & (is-fireable("withdraw_178_176"))))))) & (((is-fireable("withdraw_124_194")) | ((is-fireable("withdraw_133_104")) | ((! (is-fireable("withdraw_95_106"))) & ((is-fireable("withdraw_84_16")) | (is-fireable("withdraw_184_165")))))) | ((! (((is-fireable("withdraw_157_11")) | (is-fireable("withdraw_166_165"))) & ((is-fireable("withdraw_60_156")) & (is-fireable("withdraw_54_155"))))) & ((! (is-fireable("withdraw_55_78"))) | ((is-fireable("withdraw_165_68")) | ((is-fireable("withdraw_167_163")) | (is-fireable("withdraw_173_32")))))))) & (is-fireable("withdraw_54_168"))))))
   end.
Property Dekker-PT-200-ReachabilityFireability-2025-05
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("withdraw_171_80")))
   end.
Property Dekker-PT-200-ReachabilityFireability-2025-06
   "Automatically generated by Citili v2025"
   is:
      E (F (! ((! (is-fireable("withdraw_119_129"))) & (! (((is-fireable("withdraw_163_179")) | ((((is-fireable("withdraw_16_167")) & (is-fireable("withdraw_139_160"))) | (! (is-fireable("withdraw_191_190")))) & (((is-fireable("withdraw_168_198")) | (is-fireable("withdraw_146_9"))) | ((is-fireable("withdraw_155_139")) & (is-fireable("withdraw_160_76")))))) & (((is-fireable("withdraw_124_104")) & ((is-fireable("withdraw_161_197")) & ((is-fireable("withdraw_199_96")) & (is-fireable("withdraw_67_103"))))) & (is-fireable("withdraw_87_68"))))))))
   end.
Property Dekker-PT-200-ReachabilityFireability-2025-07
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("withdraw_97_66")))
   end.
Property Dekker-PT-200-ReachabilityFireability-2025-08
   "Automatically generated by Citili v2025"
   is:
      A (G ((((is-fireable("withdraw_196_156")) | (is-fireable("withdraw_92_49"))) & ((! (((is-fireable("withdraw_45_48")) | ((is-fireable("withdraw_49_133")) | (is-fireable("withdraw_89_173")))) | (is-fireable("withdraw_160_109")))) & (! ((! (((is-fireable("withdraw_196_143")) & (is-fireable("withdraw_167_140"))) | (is-fireable("withdraw_189_188")))) | ((((is-fireable("withdraw_3_9")) & (is-fireable("withdraw_128_39"))) | ((is-fireable("withdraw_97_73")) & (is-fireable("withdraw_177_96")))) & (! (is-fireable("withdraw_63_184")))))))) | (((((((is-fireable("withdraw_11_159")) & (is-fireable("withdraw_143_119"))) | (! (is-fireable("withdraw_9_78")))) | (! ((((is-fireable("withdraw_145_176")) & (is-fireable("withdraw_151_130"))) | (is-fireable("withdraw_93_179"))) & (is-fireable("withdraw_6_150"))))) | (((! (is-fireable("withdraw_151_197"))) & (is-fireable("withdraw_22_194"))) | (((is-fireable("withdraw_12_115")) & (is-fireable("withdraw_179_117"))) | ((! ((is-fireable("withdraw_182_62")) & (is-fireable("withdraw_173_68")))) | (is-fireable("withdraw_190_61")))))) | ((! (is-fireable("withdraw_97_130"))) & (is-fireable("withdraw_113_128")))) & (! ((((! ((is-fireable("withdraw_72_97")) & (is-fireable("withdraw_8_196")))) | (((is-fireable("withdraw_54_50")) | ((is-fireable("withdraw_28_6")) & (is-fireable("withdraw_153_133")))) | ((! (is-fireable("withdraw_165_155"))) & (! (is-fireable("withdraw_18_25")))))) & ((is-fireable("withdraw_177_85")) | (! ((is-fireable("withdraw_165_169")) | (is-fireable("withdraw_113_56")))))) & (is-fireable("withdraw_75_71")))))))
   end.
Property Dekker-PT-200-ReachabilityFireability-2025-09
   "Automatically generated by Citili v2025"
   is:
      E (F ((is-fireable("withdraw_74_138")) & (((((is-fireable("withdraw_97_43")) & ((! (is-fireable("withdraw_154_117"))) | ((! ((is-fireable("withdraw_191_56")) & (is-fireable("withdraw_102_152")))) | ((is-fireable("withdraw_21_59")) & (is-fireable("withdraw_150_161")))))) | (((is-fireable("withdraw_29_111")) | (((! (is-fireable("withdraw_75_45"))) & ((is-fireable("withdraw_90_191")) & (is-fireable("withdraw_151_192")))) & (! ((is-fireable("withdraw_72_90")) & (is-fireable("withdraw_82_100")))))) | (is-fireable("withdraw_143_40")))) | (! (((is-fireable("withdraw_59_152")) & (! ((! (is-fireable("withdraw_19_70"))) & ((is-fireable("withdraw_194_4")) | (is-fireable("withdraw_179_64")))))) | (! (is-fireable("withdraw_132_192")))))) | ((is-fireable("withdraw_178_179")) | (is-fireable("withdraw_168_191"))))))
   end.
Property Dekker-PT-200-ReachabilityFireability-2025-10
   "Automatically generated by Citili v2025"
   is:
      E (F ((is-fireable("withdraw_23_49")) & ((is-fireable("withdraw_77_10")) | (! (is-fireable("withdraw_78_184"))))))
   end.
Property Dekker-PT-200-ReachabilityFireability-2025-11
   "Automatically generated by Citili v2025"
   is:
      E (F ((((is-fireable("withdraw_41_195")) | (((((! (is-fireable("withdraw_150_140"))) | (((is-fireable("withdraw_26_172")) | (is-fireable("withdraw_9_33"))) | (! (is-fireable("withdraw_40_38"))))) | ((((is-fireable("withdraw_85_34")) & (is-fireable("withdraw_196_167"))) | ((is-fireable("withdraw_168_61")) | (is-fireable("withdraw_10_49")))) | ((! (is-fireable("withdraw_161_146"))) | ((is-fireable("withdraw_114_61")) | (is-fireable("withdraw_37_138")))))) & (is-fireable("withdraw_81_161"))) & (! (((! (is-fireable("withdraw_167_97"))) | (! (is-fireable("withdraw_4_41")))) | (! ((! (is-fireable("withdraw_54_15"))) | ((is-fireable("withdraw_29_30")) | (is-fireable("withdraw_88_78"))))))))) | (! (((((! ((is-fireable("withdraw_126_46")) | (is-fireable("withdraw_45_115")))) | ((! (is-fireable("withdraw_158_138"))) & ((is-fireable("withdraw_124_171")) | (is-fireable("withdraw_134_9"))))) | (((is-fireable("withdraw_52_194")) & (! (is-fireable("withdraw_55_137")))) & (! ((is-fireable("withdraw_91_1")) & (is-fireable("withdraw_32_94")))))) | (is-fireable("withdraw_43_8"))) & (((is-fireable("withdraw_105_58")) | ((((is-fireable("withdraw_39_34")) | (is-fireable("withdraw_171_6"))) & (is-fireable("withdraw_105_67"))) | ((! (is-fireable("withdraw_180_187"))) & ((is-fireable("withdraw_140_61")) & (is-fireable("withdraw_176_159")))))) | ((! ((is-fireable("withdraw_69_145")) & ((is-fireable("withdraw_44_57")) & (is-fireable("withdraw_63_143"))))) | (((! (is-fireable("withdraw_172_108"))) & ((is-fireable("withdraw_155_28")) & (is-fireable("withdraw_75_85")))) & (is-fireable("withdraw_50_166")))))))) | (((is-fireable("withdraw_174_18")) & (is-fireable("withdraw_38_55"))) & (is-fireable("withdraw_110_122")))))
   end.
Property Dekker-PT-200-ReachabilityFireability-2025-12
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("withdraw_67_113")))
   end.
Property Dekker-PT-200-ReachabilityFireability-2025-13
   "Automatically generated by Citili v2025"
   is:
      E (F (! ((! ((((is-fireable("withdraw_94_146")) | ((((is-fireable("withdraw_135_199")) | (is-fireable("withdraw_6_79"))) & ((is-fireable("withdraw_105_72")) | (is-fireable("withdraw_51_188")))) & (! (is-fireable("withdraw_184_105"))))) & (is-fireable("withdraw_100_49"))) & (! (((is-fireable("withdraw_147_184")) | (((is-fireable("withdraw_38_42")) & (is-fireable("enter_99"))) & ((is-fireable("withdraw_100_1")) | (is-fireable("withdraw_140_117"))))) | (is-fireable("withdraw_106_29")))))) & (! (is-fireable("withdraw_79_171"))))))
   end.
Property Dekker-PT-200-ReachabilityFireability-2025-14
   "Automatically generated by Citili v2025"
   is:
      E (F (! ((is-fireable("withdraw_23_47")) | ((! (is-fireable("withdraw_127_97"))) | (! (is-fireable("withdraw_176_47")))))))
   end.
Property Dekker-PT-200-ReachabilityFireability-2025-15
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("withdraw_90_194")))
   end.
