Property RERS17pb113-PT-9-ReachabilityFireability-2025-00
   "Automatically generated by Citili v2025"
   is:
      E (F (((! ((! ((! (is-fireable("t_3206_a76_SIGTTIN"))) | (((is-fireable("t_18933_a50_SIGDEADLK")) & (is-fireable("t_6106_a32_SIGWINCH"))) & ((is-fireable("t_19792_a20_SIGLOST")) & (is-fireable("t_2252_a71_SIGPOLL")))))) | (! ((is-fireable("t_27422_a34_SIGPROF")) & (is-fireable("t_7511_a66_SIGTRAP")))))) & (((! (((is-fireable("t_6238_a32_SIGWINCH")) & (! (is-fireable("t_5604_a43_SIGDEADLK")))) | (((! (is-fireable("t_5991_a32_SIGWINCH"))) & (is-fireable("t_7016_a72_SIGFPE"))) | (((is-fireable("t_7097_a72_SIGFPE")) | (is-fireable("t_17255_a18_SIGFPE"))) | ((is-fireable("t_26129_a60_SIGTERM")) & (is-fireable("t_14077_a9_SIGCONT"))))))) | (is-fireable("t_11013_a14_SIGLOST"))) & ((is-fireable("t_24648_a19_SIGPROF")) | (((! (((is-fireable("t_2843_a76_SIGTTIN")) & (is-fireable("t_21171_a44_SIGINFO"))) | (is-fireable("t_8876_a31_SIGQUIT")))) & (is-fireable("t_13316_a36_SIGDEADLK"))) | (is-fireable("t_20786_a57_SIGTRAP")))))) | ((! (((! (((is-fireable("t_13635_a54_SIGFPE")) & (is-fireable("t_1340_a71_SIGPOLL"))) & (! (is-fireable("t_28902_a10_SIGABRT"))))) & (! (((! (is-fireable("t_23223_a11_SIGINFO"))) & (is-fireable("t_4772_a29_SIGCHLD"))) | (((is-fireable("t_2202_a71_SIGPOLL")) & (is-fireable("t_5568_a43_SIGDEADLK"))) | ((is-fireable("t_15047_a6_SIGUSR2")) & (is-fireable("t_25315_a28_SIGPWR"))))))) | ((! ((is-fireable("t_24351_a19_SIGPROF")) | (! ((is-fireable("t_23766_a5_SIGINFO")) & (is-fireable("t_26440_a60_SIGTERM")))))) | (is-fireable("t_18745_a50_SIGDEADLK"))))) | (is-fireable("t_21803_a4_SIGUSR2")))))
   end.
Property RERS17pb113-PT-9-ReachabilityFireability-2025-01
   "Automatically generated by Citili v2025"
   is:
      A (G (((! (is-fireable("t_22937_a11_SIGINFO"))) | (is-fireable("t_4612_a29_SIGCHLD"))) | (is-fireable("t_18891_a50_SIGDEADLK"))))
   end.
Property RERS17pb113-PT-9-ReachabilityFireability-2025-02
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("t_6143_a32_SIGWINCH")))
   end.
Property RERS17pb113-PT-9-ReachabilityFireability-2025-03
   "Automatically generated by Citili v2025"
   is:
      E (F ((is-fireable("t_3516_a76_SIGTTIN")) & ((! ((((is-fireable("t_21105_a44_SIGINFO")) & (((is-fireable("t_29829_a77_SIGTTIN")) & (is-fireable("t_24195_a19_SIGPROF"))) | ((is-fireable("t_21198_a44_SIGINFO")) | (is-fireable("t_24719_a19_SIGPROF"))))) & (is-fireable("t_20413_a20_SIGLOST"))) | ((! (is-fireable("t_24113_a19_SIGPROF"))) | ((! ((is-fireable("t_29078_a26_SIGPWR")) & (is-fireable("t_4106_a29_SIGCHLD")))) & (((is-fireable("t_7805_a66_SIGTRAP")) & (is-fireable("t_21794_a4_SIGUSR2"))) & (! (is-fireable("t_23571_a5_SIGINFO")))))))) & (is-fireable("t_9884_a40_SIGTRAP")))))
   end.
Property RERS17pb113-PT-9-ReachabilityFireability-2025-04
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("t_5516_a43_SIGDEADLK")))
   end.
Property RERS17pb113-PT-9-ReachabilityFireability-2025-05
   "Automatically generated by Citili v2025"
   is:
      E (F (((! ((is-fireable("t_6731_a2_SIGVTALRM")) | ((is-fireable("t_13038_a36_SIGDEADLK")) & (is-fireable("t_27343_a34_SIGPROF"))))) & (((is-fireable("t_172_a78_SIGEMT")) & ((! (is-fireable("t_2333_a65_SIGUSR1"))) & (((! (is-fireable("t_10661_a40_SIGTRAP"))) & ((! (is-fireable("t_8816_a55_SIGPROF"))) & (is-fireable("t_30198_a7_SIGSTOP")))) & ((! (is-fireable("t_21692_a4_SIGUSR2"))) | ((! (is-fireable("t_27437_a34_SIGPROF"))) | ((is-fireable("t_24399_a19_SIGPROF")) | (is-fireable("t_12805_a36_SIGDEADLK")))))))) & ((! ((((! (is-fireable("t_8644_a55_SIGPROF"))) & (! (is-fireable("t_5065_a62_SIGHUP")))) & (((is-fireable("t_1316_a71_SIGPOLL")) & (is-fireable("t_22408_a4_SIGUSR2"))) & (! (is-fireable("t_4457_a29_SIGCHLD"))))) & ((! (is-fireable("t_2588_a65_SIGUSR1"))) & (! (is-fireable("t_10910_a40_SIGTRAP")))))) & (! ((! (is-fireable("t_3142_a76_SIGTTIN"))) & (is-fireable("t_8742_a55_SIGPROF"))))))) | ((is-fireable("t_1523_a71_SIGPOLL")) & (! (is-fireable("t_26175_a60_SIGTERM"))))))
   end.
Property RERS17pb113-PT-9-ReachabilityFireability-2025-06
   "Automatically generated by Citili v2025"
   is:
      E (F ((is-fireable("t_8489_a56_SIGWINCH")) | ((is-fireable("t_21711_a4_SIGUSR2")) & ((is-fireable("t_3753_a76_SIGTTIN")) | (is-fireable("t_28340_a1_SIGTERM"))))))
   end.
Property RERS17pb113-PT-9-ReachabilityFireability-2025-07
   "Automatically generated by Citili v2025"
   is:
      A (G ((((! (is-fireable("t_22216_a4_SIGUSR2"))) & (is-fireable("t_15980_a6_SIGUSR2"))) | ((! (((! ((is-fireable("t_23421_a11_SIGINFO")) | (! (is-fireable("t_27959_a42_SIGSTOP"))))) | (((! (is-fireable("t_22781_a11_SIGINFO"))) | (is-fireable("t_3343_a76_SIGTTIN"))) & (! ((is-fireable("t_21619_a4_SIGUSR2")) & (is-fireable("t_26175_a60_SIGTERM")))))) & (((! ((is-fireable("t_14168_a9_SIGCONT")) | (is-fireable("t_29837_a77_SIGTTIN")))) | (is-fireable("t_19511_a20_SIGLOST"))) | (is-fireable("t_10062_a40_SIGTRAP"))))) | (((is-fireable("t_19895_a20_SIGLOST")) | ((is-fireable("t_6973_a72_SIGFPE")) | (! (is-fireable("t_24960_a3_SIGBUS"))))) & ((((((is-fireable("t_17221_a18_SIGFPE")) & (is-fireable("t_19687_a20_SIGLOST"))) | ((is-fireable("t_31320_a52_SIGFPE")) & (is-fireable("t_12348_a46_SIGHUP")))) & (((is-fireable("t_26544_a60_SIGTERM")) | (is-fireable("t_28551_a1_SIGTERM"))) & ((is-fireable("t_12056_a30_SIGFPE")) & (is-fireable("t_1156_a79_SIGKILL"))))) | (! ((! (is-fireable("t_12025_a30_SIGFPE"))) | (! (is-fireable("t_20903_a57_SIGTRAP")))))) & (is-fireable("t_27574_a34_SIGPROF")))))) | ((! (is-fireable("t_8534_a73_SIGKILL"))) | (((is-fireable("t_25423_a28_SIGPWR")) | ((! (((! (is-fireable("t_15661_a6_SIGUSR2"))) | ((is-fireable("t_19972_a20_SIGLOST")) & (is-fireable("t_5701_a32_SIGWINCH")))) | (is-fireable("t_21353_a44_SIGINFO")))) | (is-fireable("t_20839_a57_SIGTRAP")))) | ((is-fireable("t_4365_a29_SIGCHLD")) & (is-fireable("t_15274_a6_SIGUSR2")))))))
   end.
Property RERS17pb113-PT-9-ReachabilityFireability-2025-08
   "Automatically generated by Citili v2025"
   is:
      A (G (! ((is-fireable("t_27903_a22_SIGINFO")) & (((is-fireable("t_11062_a14_SIGLOST")) | (is-fireable("t_10804_a40_SIGTRAP"))) & ((((((! (is-fireable("t_9930_a40_SIGTRAP"))) & ((is-fireable("t_15913_a6_SIGUSR2")) | (is-fireable("t_17221_a18_SIGFPE")))) & (! ((is-fireable("t_13757_a54_SIGFPE")) & (is-fireable("t_31262_a52_SIGFPE"))))) & ((! ((is-fireable("t_7046_a72_SIGFPE")) & (is-fireable("t_2624_a65_SIGUSR1")))) & (! (is-fireable("t_3593_a76_SIGTTIN"))))) & (! ((! ((is-fireable("t_2849_a76_SIGTTIN")) | (is-fireable("t_7480_a66_SIGTRAP")))) | (! ((is-fireable("t_110_a78_SIGEMT")) & (is-fireable("t_13005_a36_SIGDEADLK"))))))) & (((! (is-fireable("t_9056_a31_SIGQUIT"))) & (! ((is-fireable("t_12119_a30_SIGFPE")) | ((is-fireable("t_8330_a56_SIGWINCH")) | (is-fireable("t_5422_a43_SIGDEADLK")))))) | ((is-fireable("t_9363_a45_SIGTSTP")) & (is-fireable("t_8081_a15_SIGURG")))))))))
   end.
Property RERS17pb113-PT-9-ReachabilityFireability-2025-09
   "Automatically generated by Citili v2025"
   is:
      A (G (! (is-fireable("t_8080_a15_SIGURG"))))
   end.
Property RERS17pb113-PT-9-ReachabilityFireability-2025-10
   "Automatically generated by Citili v2025"
   is:
      E (F ((is-fireable("t_16522_a18_SIGFPE")) | (is-fireable("t_21717_a4_SIGUSR2"))))
   end.
Property RERS17pb113-PT-9-ReachabilityFireability-11
   "Automatically generated by Citili v2023"
   is:
      A (G (((! (((is-fireable("t_3399_a76_SIGTTIN")) & (is-fireable("t_20047_a20_SIGLOST"))) | (((! (((is-fireable("t_5312_a43_SIGDEADLK")) | (is-fireable("t_29223_a26_SIGPWR"))) | ((is-fireable("t_13015_a36_SIGDEADLK")) & (is-fireable("t_13836_a54_SIGFPE"))))) | (((is-fireable("t_17481_a59_SIGPIPE")) & (is-fireable("t_20091_a20_SIGLOST"))) | ((! (is-fireable("t_30403_a52_SIGFPE"))) | ((is-fireable("t_15096_a6_SIGUSR2")) & (is-fireable("t_8753_a55_SIGPROF")))))) | (is-fireable("t_12190_a30_SIGFPE"))))) & (! (is-fireable("t_4531_a29_SIGCHLD")))) | ((((((! (is-fireable("t_6249_a32_SIGWINCH"))) & ((is-fireable("t_26807_a35_SIGUSR2")) & (is-fireable("t_3324_a76_SIGTTIN")))) | (((! ((is-fireable("t_4368_a29_SIGCHLD")) & (is-fireable("t_30916_a52_SIGFPE")))) & (! (is-fireable("t_17044_a18_SIGFPE")))) & ((((is-fireable("t_26498_a60_SIGTERM")) | (is-fireable("t_16368_a18_SIGFPE"))) & ((is-fireable("t_23778_a5_SIGINFO")) & (is-fireable("t_23929_a19_SIGPROF")))) | (((is-fireable("t_28932_a10_SIGABRT")) | (is-fireable("t_26978_a12_SIGPIPE"))) & ((is-fireable("t_17768_a59_SIGPIPE")) & (is-fireable("t_1663_a71_SIGPOLL"))))))) & (is-fireable("t_9104_a31_SIGQUIT"))) | (((((! ((is-fireable("t_644_a79_SIGKILL")) & (is-fireable("t_9210_a31_SIGQUIT")))) & ((! (is-fireable("t_7478_a66_SIGTRAP"))) & ((is-fireable("t_18165_a59_SIGPIPE")) | (is-fireable("t_30913_a52_SIGFPE"))))) | (! (((is-fireable("t_19969_a20_SIGLOST")) & (is-fireable("t_6046_a32_SIGWINCH"))) & ((is-fireable("t_15957_a6_SIGUSR2")) | (is-fireable("t_5613_a43_SIGDEADLK")))))) | (is-fireable("t_20939_a57_SIGTRAP"))) | ((! (is-fireable("t_7271_a72_SIGFPE"))) | (((((is-fireable("t_3958_a29_SIGCHLD")) | (is-fireable("t_17681_a59_SIGPIPE"))) & ((is-fireable("t_16895_a18_SIGFPE")) & (is-fireable("t_7353_a72_SIGFPE")))) & (((is-fireable("t_12507_a36_SIGDEADLK")) & (is-fireable("t_30500_a52_SIGFPE"))) & ((is-fireable("t_3420_a76_SIGTTIN")) & (is-fireable("t_9842_a45_SIGTSTP"))))) & (is-fireable("t_11302_a17_SIGCONT")))))) & (! ((is-fireable("t_3175_a76_SIGTTIN")) & (is-fireable("t_2953_a76_SIGTTIN")))))))
   end.
Property RERS17pb113-PT-9-ReachabilityFireability-12
   "Automatically generated by Citili v2023"
   is:
      E (F ((((! (is-fireable("t_18937_a50_SIGDEADLK"))) & ((((((! (is-fireable("t_3276_a76_SIGTTIN"))) | ((is-fireable("t_9620_a45_SIGTSTP")) | (is-fireable("t_12221_a33_SIGTTOU")))) & (is-fireable("t_1190_a79_SIGKILL"))) & (! (is-fireable("t_12606_a36_SIGDEADLK")))) | ((is-fireable("t_5495_a43_SIGDEADLK")) & ((! ((is-fireable("t_25625_a28_SIGPWR")) | (is-fireable("t_25753_a28_SIGPWR")))) & (is-fireable("t_11602_a17_SIGCONT"))))) | (! ((! (is-fireable("t_29516_a38_SIGCHLD"))) | ((is-fireable("t_6046_a32_SIGWINCH")) & (is-fireable("t_12936_a36_SIGDEADLK"))))))) & (is-fireable("t_2610_a65_SIGUSR1"))) & (! ((! (is-fireable("t_3554_a76_SIGTTIN"))) | (((((((is-fireable("t_22827_a11_SIGINFO")) & (is-fireable("t_2921_a76_SIGTTIN"))) & (! (is-fireable("t_4044_a29_SIGCHLD")))) & (is-fireable("t_14030_a9_SIGCONT"))) & (is-fireable("t_30574_a52_SIGFPE"))) & ((is-fireable("t_6129_a32_SIGWINCH")) | ((! (is-fireable("t_20996_a44_SIGINFO"))) & (is-fireable("t_21075_a44_SIGINFO"))))) | (is-fireable("t_5533_a43_SIGDEADLK")))))))
   end.
Property RERS17pb113-PT-9-ReachabilityFireability-13
   "Automatically generated by Citili v2024"
   is:
      A (G (! (is-fireable("t_15904_a6_SIGUSR2"))))
   end.
Property RERS17pb113-PT-9-ReachabilityFireability-2025-14
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("t_15868_a6_SIGUSR2")))
   end.
Property RERS17pb113-PT-9-ReachabilityFireability-15
   "Automatically generated by Citili v2023"
   is:
      A (G ((! ((is-fireable("t_23925_a19_SIGPROF")) & (! ((! (is-fireable("t_8177_a15_SIGURG"))) | (is-fireable("t_5625_a43_SIGDEADLK")))))) | (((! (((is-fireable("t_18442_a50_SIGDEADLK")) | (is-fireable("t_902_a79_SIGKILL"))) & (! (is-fireable("t_3771_a76_SIGTTIN"))))) | (is-fireable("t_12599_a36_SIGDEADLK"))) | ((((! (is-fireable("t_29966_a39_SIGTERM"))) | (! ((! ((is-fireable("t_16307_a21_SIGSEGV")) | (is-fireable("t_29292_a26_SIGPWR")))) | ((! (is-fireable("t_5663_a32_SIGWINCH"))) & (is-fireable("t_15894_a6_SIGUSR2")))))) & (! (is-fireable("t_17389_a59_SIGPIPE")))) & (! (is-fireable("t_16769_a18_SIGFPE")))))))
   end.
