Property RERS17pb113-PT-4-ReachabilityFireability-00
   "Automatically generated by Citili v2022"
   is:
      A (G ((((((((((is-fireable("t_26948_a12_SIGPIPE")) & (is-fireable("t_7740_a66_SIGTRAP"))) | (! (is-fireable("t_16629_a18_SIGFPE")))) & (! (! (is-fireable("t_20246_a20_SIGLOST"))))) & (((is-fireable("t_28188_a42_SIGSTOP")) & ((is-fireable("t_26487_a60_SIGTERM")) & (is-fireable("t_23401_a11_SIGINFO")))) & (! ((is-fireable("t_3370_a76_SIGTTIN")) | (is-fireable("t_2409_a65_SIGUSR1")))))) | (((! ((is-fireable("t_30073_a7_SIGSTOP")) | (is-fireable("t_17936_a59_SIGPIPE")))) | ((! (is-fireable("t_25034_a3_SIGBUS"))) & (! (is-fireable("t_1939_a71_SIGPOLL"))))) | ((((is-fireable("t_2661_a65_SIGUSR1")) & (is-fireable("t_11840_a25_SIGSEGV"))) | (! (is-fireable("t_30763_a52_SIGFPE")))) & ((is-fireable("t_17870_a59_SIGPIPE")) | ((is-fireable("t_31109_a52_SIGFPE")) & (is-fireable("t_10572_a40_SIGTRAP"))))))) & ((is-fireable("t_20688_a64_SIGINFO")) | (! ((is-fireable("t_13205_a36_SIGDEADLK")) & ((! (is-fireable("t_4878_a62_SIGHUP"))) | (is-fireable("t_13763_a54_SIGFPE"))))))) | (! (! ((((is-fireable("t_8742_a55_SIGPROF")) & ((is-fireable("t_23504_a11_SIGINFO")) & (is-fireable("t_9822_a45_SIGTSTP")))) & ((is-fireable("t_14732_a9_SIGCONT")) | ((is-fireable("t_13110_a36_SIGDEADLK")) | (is-fireable("t_4656_a29_SIGCHLD"))))) & ((! ((is-fireable("t_13758_a54_SIGFPE")) & (is-fireable("t_3251_a76_SIGTTIN")))) & (((is-fireable("t_5602_a43_SIGDEADLK")) | (is-fireable("t_25222_a28_SIGPWR"))) | (! (is-fireable("t_29100_a26_SIGPWR"))))))))) & ((is-fireable("t_9592_a45_SIGTSTP")) & (((is-fireable("t_28752_a75_SIGFPE")) | (! (is-fireable("t_19269_a50_SIGDEADLK")))) & ((((((is-fireable("t_13213_a36_SIGDEADLK")) & (is-fireable("t_24582_a19_SIGPROF"))) | ((is-fireable("t_8924_a31_SIGQUIT")) & (is-fireable("t_384_a79_SIGKILL")))) | (! (is-fireable("t_23041_a11_SIGINFO")))) & (is-fireable("t_14050_a9_SIGCONT"))) | (((is-fireable("t_21907_a4_SIGUSR2")) & (((is-fireable("t_12109_a30_SIGFPE")) & (is-fireable("t_18378_a50_SIGDEADLK"))) & ((is-fireable("t_6743_a2_SIGVTALRM")) & (is-fireable("t_9251_a31_SIGQUIT"))))) | (is-fireable("t_26827_a35_SIGUSR2"))))))) | ((! ((! ((((is-fireable("t_5996_a32_SIGWINCH")) & ((is-fireable("t_22616_a11_SIGINFO")) | (is-fireable("t_24007_a19_SIGPROF")))) & (((is-fireable("t_20096_a20_SIGLOST")) | (is-fireable("t_8836_a55_SIGPROF"))) & ((is-fireable("t_20535_a64_SIGINFO")) & (is-fireable("t_25694_a28_SIGPWR"))))) | (is-fireable("t_31045_a52_SIGFPE")))) & ((is-fireable("t_16526_a18_SIGFPE")) & (! (is-fireable("t_16469_a18_SIGFPE")))))) | (! (! (is-fireable("t_12027_a30_SIGFPE")))))))
   end.
Property RERS17pb113-PT-4-ReachabilityFireability-01
   "Automatically generated by Citili v2022"
   is:
      E (F ((is-fireable("t_21243_a44_SIGINFO")) & (is-fireable("t_16110_a21_SIGSEGV"))))
   end.
Property RERS17pb113-PT-4-ReachabilityFireability-02
   "Automatically generated by Citili v2022"
   is:
      E (F (((is-fireable("t_29215_a26_SIGPWR")) & (((! (is-fireable("t_25959_a28_SIGPWR"))) | ((is-fireable("t_23723_a5_SIGINFO")) | ((is-fireable("t_5706_a32_SIGWINCH")) & (! (is-fireable("t_11490_a17_SIGCONT")))))) | (((! (! (! ((is-fireable("t_3164_a76_SIGTTIN")) | (is-fireable("t_30757_a52_SIGFPE")))))) | (! ((((is-fireable("t_24726_a19_SIGPROF")) & (is-fireable("t_10153_a40_SIGTRAP"))) | ((is-fireable("t_13615_a54_SIGFPE")) & (is-fireable("t_10163_a40_SIGTRAP")))) & (((is-fireable("t_30578_a52_SIGFPE")) | (is-fireable("t_27888_a22_SIGINFO"))) & (! (is-fireable("t_5910_a32_SIGWINCH"))))))) | ((is-fireable("t_2911_a76_SIGTTIN")) | (! (is-fireable("t_12347_a46_SIGHUP"))))))) | ((((! (((! ((is-fireable("t_5109_a62_SIGHUP")) | (is-fireable("t_14609_a9_SIGCONT")))) | (is-fireable("t_27622_a34_SIGPROF"))) | (is-fireable("t_1076_a79_SIGKILL")))) | (! ((((is-fireable("t_28270_a1_SIGTERM")) | (is-fireable("t_3970_a29_SIGCHLD"))) & ((is-fireable("t_2599_a65_SIGUSR1")) & ((is-fireable("t_21026_a44_SIGINFO")) & (is-fireable("t_17815_a59_SIGPIPE"))))) | ((! (is-fireable("t_3779_a76_SIGTTIN"))) | (((is-fireable("t_22117_a4_SIGUSR2")) & (is-fireable("t_5892_a32_SIGWINCH"))) | (! (is-fireable("t_14352_a9_SIGCONT")))))))) & (is-fireable("t_28402_a1_SIGTERM"))) | ((! (is-fireable("t_15822_a6_SIGUSR2"))) & (is-fireable("t_28133_a42_SIGSTOP"))))))
   end.
Property RERS17pb113-PT-4-ReachabilityFireability-03
   "Automatically generated by Citili v2022"
   is:
      E (F ((is-fireable("t_22838_a11_SIGINFO")) & (! ((is-fireable("t_2723_a65_SIGUSR1")) & (is-fireable("t_28681_a1_SIGTERM"))))))
   end.
Property RERS17pb113-PT-4-ReachabilityFireability-04
   "Automatically generated by Citili v2022"
   is:
      E (F (is-fireable("t_29608_a77_SIGTTIN")))
   end.
Property RERS17pb113-PT-4-ReachabilityFireability-05
   "Automatically generated by Citili v2022"
   is:
      E (F (((is-fireable("t_15628_a6_SIGUSR2")) | ((is-fireable("t_9910_a40_SIGTRAP")) | (is-fireable("t_10990_a14_SIGLOST")))) | ((is-fireable("t_27237_a34_SIGPROF")) & (! ((! (((! (! (is-fireable("t_22133_a4_SIGUSR2")))) & (is-fireable("t_24712_a19_SIGPROF"))) | ((((is-fireable("t_19296_a50_SIGDEADLK")) & (is-fireable("t_13830_a54_SIGFPE"))) & (! (is-fireable("t_4526_a29_SIGCHLD")))) & (((is-fireable("t_16953_a18_SIGFPE")) & (is-fireable("t_3413_a76_SIGTTIN"))) | (! (is-fireable("t_6991_a72_SIGFPE"))))))) & (((! (((is-fireable("t_9075_a31_SIGQUIT")) & (is-fireable("t_18995_a50_SIGDEADLK"))) & (is-fireable("t_18143_a59_SIGPIPE")))) | ((! (is-fireable("t_1525_a71_SIGPOLL"))) & (((is-fireable("t_8604_a55_SIGPROF")) & (is-fireable("t_14771_a9_SIGCONT"))) | ((is-fireable("t_27354_a34_SIGPROF")) & (is-fireable("t_5727_a32_SIGWINCH")))))) | ((is-fireable("t_9089_a31_SIGQUIT")) | ((is-fireable("t_2949_a76_SIGTTIN")) & (is-fireable("t_20944_a57_SIGTRAP"))))))))))
   end.
Property RERS17pb113-PT-4-ReachabilityFireability-06
   "Automatically generated by Citili v2022"
   is:
      E (F (is-fireable("t_26999_a12_SIGPIPE")))
   end.
Property RERS17pb113-PT-4-ReachabilityFireability-07
   "Automatically generated by Citili v2022"
   is:
      A (G ((is-fireable("t_9082_a31_SIGQUIT")) | (! (! (! ((! ((! ((is-fireable("t_7103_a72_SIGFPE")) | (is-fireable("t_3254_a76_SIGTTIN")))) & (! (is-fireable("t_19809_a20_SIGLOST"))))) & ((is-fireable("t_8413_a56_SIGWINCH")) & (! (is-fireable("t_12304_a33_SIGTTOU"))))))))))
   end.
Property RERS17pb113-PT-4-ReachabilityFireability-08
   "Automatically generated by Citili v2022"
   is:
      E (F (is-fireable("t_13037_a36_SIGDEADLK")))
   end.
Property RERS17pb113-PT-4-ReachabilityFireability-09
   "Automatically generated by Citili v2022"
   is:
      E (F ((is-fireable("t_12188_a30_SIGFPE")) & (! (! (is-fireable("t_16574_a18_SIGFPE"))))))
   end.
Property RERS17pb113-PT-4-ReachabilityFireability-10
   "Automatically generated by Citili v2022"
   is:
      A (G (! (is-fireable("t_9919_a40_SIGTRAP"))))
   end.
Property RERS17pb113-PT-4-ReachabilityFireability-11
   "Automatically generated by Citili v2022"
   is:
      A (G (! (is-fireable("t_24514_a19_SIGPROF"))))
   end.
Property RERS17pb113-PT-4-ReachabilityFireability-12
   "Automatically generated by Citili v2022"
   is:
      E (F (is-fireable("t_28958_a10_SIGABRT")))
   end.
Property RERS17pb113-PT-4-ReachabilityFireability-13
   "Automatically generated by Citili v2022"
   is:
      E (F (is-fireable("t_10251_a40_SIGTRAP")))
   end.
Property RERS17pb113-PT-4-ReachabilityFireability-14
   "Automatically generated by Citili v2022"
   is:
      A (G (((is-fireable("t_19855_a20_SIGLOST")) | (((is-fireable("t_2574_a65_SIGUSR1")) & (is-fireable("t_3637_a76_SIGTTIN"))) | (! ((! ((is-fireable("t_14283_a9_SIGCONT")) | (! (is-fireable("t_11315_a17_SIGCONT"))))) & (! ((is-fireable("t_24076_a19_SIGPROF")) | (((is-fireable("t_30378_a52_SIGFPE")) & (is-fireable("t_28665_a1_SIGTERM"))) & (is-fireable("t_16670_a18_SIGFPE"))))))))) | (! (is-fireable("t_18473_a50_SIGDEADLK")))))
   end.
Property RERS17pb113-PT-4-ReachabilityFireability-15
   "Automatically generated by Citili v2022"
   is:
      A (G (! ((! (((! (! (is-fireable("t_5394_a43_SIGDEADLK")))) | (! (is-fireable("t_18685_a50_SIGDEADLK")))) | (is-fireable("t_28301_a1_SIGTERM")))) & (! ((! (is-fireable("t_545_a79_SIGKILL"))) & (((((is-fireable("t_13304_a36_SIGDEADLK")) & ((is-fireable("t_21626_a4_SIGUSR2")) & (is-fireable("t_30100_a7_SIGSTOP")))) & (((is-fireable("t_17325_a18_SIGFPE")) & (is-fireable("t_13974_a54_SIGFPE"))) | ((is-fireable("t_28756_a75_SIGFPE")) & (is-fireable("t_20757_a57_SIGTRAP"))))) & ((((is-fireable("t_24258_a19_SIGPROF")) & (is-fireable("t_7198_a72_SIGFPE"))) | ((is-fireable("t_6734_a2_SIGVTALRM")) & (is-fireable("t_5955_a32_SIGWINCH")))) & ((! (is-fireable("t_22588_a11_SIGINFO"))) & (! (is-fireable("t_15784_a6_SIGUSR2")))))) | (is-fireable("t_15156_a6_SIGUSR2"))))))))
   end.
