Property RERS17pb113-PT-3-ReachabilityFireability-2025-00
   "Automatically generated by Citili v2025"
   is:
      E (F (((is-fireable("t_8288_a56_SIGWINCH")) & (is-fireable("t_7458_a66_SIGTRAP"))) & ((is-fireable("t_25904_a28_SIGPWR")) & (is-fireable("t_26916_a12_SIGPIPE")))))
   end.
Property RERS17pb113-PT-3-ReachabilityFireability-2025-01
   "Automatically generated by Citili v2025"
   is:
      A (G (((! ((! ((((is-fireable("t_17781_a59_SIGPIPE")) & (is-fireable("t_16754_a18_SIGFPE"))) | (! (is-fireable("t_21933_a4_SIGUSR2")))) | ((! (is-fireable("t_27888_a22_SIGINFO"))) & ((is-fireable("t_2128_a71_SIGPOLL")) | (is-fireable("t_19013_a50_SIGDEADLK")))))) & ((is-fireable("t_14560_a9_SIGCONT")) | (is-fireable("t_20723_a57_SIGTRAP"))))) | (((is-fireable("t_7723_a66_SIGTRAP")) | (! ((! (is-fireable("t_24367_a19_SIGPROF"))) | (is-fireable("t_8788_a55_SIGPROF"))))) & (! ((is-fireable("t_22809_a11_SIGINFO")) | ((is-fireable("t_3578_a76_SIGTTIN")) & (is-fireable("t_29905_a27_SIGQUIT"))))))) | (! (((is-fireable("t_30012_a39_SIGTERM")) & (is-fireable("t_21148_a44_SIGINFO"))) & (! (is-fireable("t_7999_a15_SIGURG")))))))
   end.
Property RERS17pb113-PT-3-ReachabilityFireability-2025-02
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("t_26604_a35_SIGUSR2")))
   end.
Property RERS17pb113-PT-3-ReachabilityFireability-2025-03
   "Automatically generated by Citili v2025"
   is:
      E (F (! (((is-fireable("t_15747_a6_SIGUSR2")) | ((! ((is-fireable("t_1541_a71_SIGPOLL")) & (is-fireable("t_27599_a34_SIGPROF")))) | (is-fireable("t_18888_a50_SIGDEADLK")))) | (((is-fireable("t_20487_a64_SIGINFO")) | (! (is-fireable("t_28385_a1_SIGTERM")))) & (! ((((! ((is-fireable("t_6760_a2_SIGVTALRM")) & (is-fireable("t_26322_a60_SIGTERM")))) & ((! (is-fireable("t_23437_a11_SIGINFO"))) & (is-fireable("t_349_a79_SIGKILL")))) & ((is-fireable("t_26687_a35_SIGUSR2")) | (((is-fireable("t_18961_a50_SIGDEADLK")) & (is-fireable("t_14562_a9_SIGCONT"))) & (! (is-fireable("t_2366_a65_SIGUSR1")))))) & (is-fireable("t_11071_a14_SIGLOST"))))))))
   end.
Property RERS17pb113-PT-3-ReachabilityFireability-2025-04
   "Automatically generated by Citili v2025"
   is:
      E (F (! (((is-fireable("t_24596_a19_SIGPROF")) | (! (((is-fireable("t_14783_a9_SIGCONT")) & (((is-fireable("t_4867_a29_SIGCHLD")) | (is-fireable("t_21686_a4_SIGUSR2"))) & ((is-fireable("t_11285_a17_SIGCONT")) | (is-fireable("t_18816_a50_SIGDEADLK"))))) & (((! (is-fireable("t_1281_a71_SIGPOLL"))) | (! (is-fireable("t_13769_a54_SIGFPE")))) & ((! (is-fireable("t_23331_a11_SIGINFO"))) & ((is-fireable("t_5054_a62_SIGHUP")) | (is-fireable("t_8132_a15_SIGURG")))))))) | (is-fireable("t_14755_a9_SIGCONT")))))
   end.
Property RERS17pb113-PT-3-ReachabilityFireability-2025-05
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("t_29755_a77_SIGTTIN")))
   end.
Property RERS17pb113-PT-3-ReachabilityFireability-2025-06
   "Automatically generated by Citili v2025"
   is:
      A (G (! (is-fireable("t_16661_a18_SIGFPE"))))
   end.
Property RERS17pb113-PT-3-ReachabilityFireability-2025-07
   "Automatically generated by Citili v2025"
   is:
      A (G (! (is-fireable("t_11131_a14_SIGLOST"))))
   end.
Property RERS17pb113-PT-3-ReachabilityFireability-2025-08
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("t_15061_a6_SIGUSR2")))
   end.
Property RERS17pb113-PT-3-ReachabilityFireability-09
   "Automatically generated by Citili v2023"
   is:
      E (F (! (((! ((! ((! ((is-fireable("t_14422_a9_SIGCONT")) & (is-fireable("t_13004_a36_SIGDEADLK")))) | (! ((is-fireable("t_19335_a50_SIGDEADLK")) & (is-fireable("t_24176_a19_SIGPROF")))))) | (! (((! (is-fireable("t_20344_a20_SIGLOST"))) & (! (is-fireable("t_24578_a19_SIGPROF")))) | ((is-fireable("t_9207_a31_SIGQUIT")) & (is-fireable("t_30502_a52_SIGFPE"))))))) | (((! (is-fireable("t_17887_a59_SIGPIPE"))) & (((! ((is-fireable("t_16042_a6_SIGUSR2")) | (is-fireable("t_4681_a29_SIGCHLD")))) | (((is-fireable("t_9575_a45_SIGTSTP")) | (is-fireable("t_25017_a3_SIGBUS"))) & ((is-fireable("t_3804_a76_SIGTTIN")) & (is-fireable("t_8656_a55_SIGPROF"))))) & ((((is-fireable("t_17968_a59_SIGPIPE")) | (is-fireable("t_13952_a54_SIGFPE"))) & (is-fireable("t_3080_a76_SIGTTIN"))) & (((is-fireable("t_22727_a11_SIGINFO")) | (is-fireable("t_16523_a18_SIGFPE"))) & ((is-fireable("t_11777_a25_SIGSEGV")) & (is-fireable("t_8026_a15_SIGURG"))))))) | (! ((is-fireable("t_5702_a32_SIGWINCH")) | (is-fireable("t_27473_a34_SIGPROF")))))) | (is-fireable("t_28690_a1_SIGTERM")))))
   end.
Property RERS17pb113-PT-3-ReachabilityFireability-2025-10
   "Automatically generated by Citili v2025"
   is:
      A (G ((((! (((! ((is-fireable("t_31118_a52_SIGFPE")) & (is-fireable("t_13244_a36_SIGDEADLK")))) & (! ((is-fireable("t_9486_a45_SIGTSTP")) & (is-fireable("t_13646_a54_SIGFPE"))))) & (! (((is-fireable("t_18971_a50_SIGDEADLK")) & (is-fireable("t_2270_a71_SIGPOLL"))) & (is-fireable("t_644_a79_SIGKILL")))))) | ((((! (((is-fireable("t_18248_a59_SIGPIPE")) & (is-fireable("t_5234_a43_SIGDEADLK"))) & (is-fireable("t_30219_a7_SIGSTOP")))) | ((! (is-fireable("t_8127_a15_SIGURG"))) | (! ((is-fireable("t_10447_a40_SIGTRAP")) | (is-fireable("t_5927_a32_SIGWINCH")))))) | (((! (is-fireable("t_27426_a34_SIGPROF"))) & (! (is-fireable("t_13179_a36_SIGDEADLK")))) | ((! ((is-fireable("t_30005_a39_SIGTERM")) | (is-fireable("t_2103_a71_SIGPOLL")))) | ((is-fireable("t_10833_a40_SIGTRAP")) & (is-fireable("t_6286_a32_SIGWINCH")))))) & ((! ((is-fireable("t_3511_a76_SIGTTIN")) & (is-fireable("t_3706_a76_SIGTTIN")))) & ((! (is-fireable("t_10426_a40_SIGTRAP"))) & (! (((is-fireable("t_11466_a17_SIGCONT")) | (is-fireable("t_24844_a3_SIGBUS"))) & ((is-fireable("t_18395_a50_SIGDEADLK")) & (is-fireable("t_26150_a60_SIGTERM"))))))))) | ((is-fireable("t_5549_a43_SIGDEADLK")) | ((! (is-fireable("t_2859_a76_SIGTTIN"))) | (! (is-fireable("t_11508_a17_SIGCONT")))))) | ((! (is-fireable("t_24339_a19_SIGPROF"))) | (! ((((((is-fireable("t_13695_a54_SIGFPE")) & (is-fireable("t_7004_a72_SIGFPE"))) | ((is-fireable("t_29361_a38_SIGCHLD")) | (is-fireable("t_31024_a52_SIGFPE")))) | (! ((is-fireable("t_12844_a36_SIGDEADLK")) | (is-fireable("t_11961_a30_SIGFPE"))))) & (((! (is-fireable("t_735_a79_SIGKILL"))) & (! (is-fireable("t_4772_a29_SIGCHLD")))) | (is-fireable("t_14492_a9_SIGCONT")))) & (! (is-fireable("t_9885_a40_SIGTRAP"))))))))
   end.
Property RERS17pb113-PT-3-ReachabilityFireability-11
   "Automatically generated by Citili v2024"
   is:
      A (G (! (((is-fireable("t_20278_a20_SIGLOST")) & (! (is-fireable("t_23060_a11_SIGINFO")))) & ((is-fireable("t_21455_a44_SIGINFO")) | (is-fireable("t_9065_a31_SIGQUIT"))))))
   end.
Property RERS17pb113-PT-3-ReachabilityFireability-12
   "Automatically generated by Citili v2024"
   is:
      E (F (((is-fireable("t_16900_a18_SIGFPE")) | (((! (((! (is-fireable("t_20022_a20_SIGLOST"))) | (is-fireable("t_27542_a34_SIGPROF"))) & ((((is-fireable("t_30448_a52_SIGFPE")) | (is-fireable("t_20384_a20_SIGLOST"))) | (! (is-fireable("t_6495_a32_SIGWINCH")))) | ((is-fireable("t_10317_a40_SIGTRAP")) & (is-fireable("t_9153_a31_SIGQUIT")))))) & (! ((is-fireable("t_8184_a15_SIGURG")) & (is-fireable("t_18136_a59_SIGPIPE"))))) | (is-fireable("t_7401_a72_SIGFPE")))) & ((is-fireable("t_19188_a50_SIGDEADLK")) & (! (is-fireable("t_439_a79_SIGKILL"))))))
   end.
Property RERS17pb113-PT-3-ReachabilityFireability-13
   "Automatically generated by Citili v2024"
   is:
      E (F (is-fireable("t_1621_a71_SIGPOLL")))
   end.
Property RERS17pb113-PT-3-ReachabilityFireability-2025-14
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("t_469_a79_SIGKILL")))
   end.
Property RERS17pb113-PT-3-ReachabilityFireability-2025-15
   "Automatically generated by Citili v2025"
   is:
      E (F (! ((! ((! (((is-fireable("t_10677_a40_SIGTRAP")) | (! ((is-fireable("t_16671_a18_SIGFPE")) | (is-fireable("t_11694_a25_SIGSEGV"))))) & ((! (is-fireable("t_4747_a29_SIGCHLD"))) & (! (is-fireable("t_24579_a19_SIGPROF")))))) | ((is-fireable("t_9387_a45_SIGTSTP")) & (is-fireable("t_15586_a6_SIGUSR2"))))) | (is-fireable("t_1397_a71_SIGPOLL")))))
   end.
