Property RERS17pb115-PT-8-ReachabilityFireability-00
   "Automatically generated by Citili v2022"
   is:
      E (F ((((is-fireable("t_61673_a114_SIGBUS")) | (! (is-fireable("t_71836_a87_SIGPROF")))) & (! ((! (is-fireable("t_60171_a78_SIGQUIT"))) | (! ((! (is-fireable("t_44599_a112_SIGPWR"))) | (! (((is-fireable("t_128012_a93_SIGURG")) | (is-fireable("t_22593_a64_SIGEMT"))) | ((is-fireable("t_104587_a19_SIGWINCH")) & (is-fireable("t_94658_a29_SIGUSR1")))))))))) | (is-fireable("t_475_a71_SIGPROF"))))
   end.
Property RERS17pb115-PT-8-ReachabilityFireability-01
   "Automatically generated by Citili v2022"
   is:
      E (F (is-fireable("t_64000_a105_SIGABRT")))
   end.
Property RERS17pb115-PT-8-ReachabilityFireability-02
   "Automatically generated by Citili v2022"
   is:
      E (F ((! ((is-fireable("t_139497_a1_SIGSYS")) | (((is-fireable("t_46887_a109_SIGSYS")) & (((((is-fireable("t_136239_a10_SIGKILL")) | (is-fireable("t_12730_a76_SIGSTOP"))) & ((is-fireable("t_98503_a85_SIGIOT")) | (is-fireable("t_97043_a85_SIGIOT")))) & ((is-fireable("t_25885_a86_SIGHUP")) & ((is-fireable("t_98997_a85_SIGIOT")) & (is-fireable("t_91976_a38_SIGPROF"))))) & (is-fireable("t_45642_a109_SIGSYS")))) | (((! ((is-fireable("t_133018_a47_SIGILL")) & ((is-fireable("t_110901_a73_SIGFPE")) & (is-fireable("t_44015_a3_SIGURG"))))) & (! (is-fireable("t_91355_a9_SIGPROF")))) | (! ((((is-fireable("t_9820_a34_SIGSTOP")) | (is-fireable("t_40085_a59_SIGABRT"))) & (! (is-fireable("t_2862_a102_SIGSYS")))) | (! ((is-fireable("t_56403_a24_SIGURG")) & (is-fireable("t_39943_a59_SIGABRT")))))))))) | (((((! (((! (is-fireable("t_134770_a4_SIGQUIT"))) & (is-fireable("t_141643_a75_SIGQUIT"))) & ((is-fireable("t_9714_a34_SIGSTOP")) & ((is-fireable("t_118519_a28_SIGCONT")) | (is-fireable("t_42455_a58_SIGHUP")))))) & (((! (! (is-fireable("t_101433_a32_SIGUSR1")))) | (! ((is-fireable("t_89467_a70_SIGTRAP")) & (is-fireable("t_87306_a117_SIGVTALRM"))))) & ((is-fireable("t_65798_a105_SIGABRT")) & (! ((is-fireable("t_9221_a34_SIGSTOP")) & (is-fireable("t_139980_a1_SIGSYS"))))))) | (((! ((is-fireable("t_138190_a17_SIGIOT")) & ((is-fireable("t_100106_a32_SIGUSR1")) | (is-fireable("t_106609_a106_SIGUSR1"))))) & ((! ((is-fireable("t_56594_a24_SIGURG")) | (is-fireable("t_107543_a77_SIGWINCH")))) | (is-fireable("t_28810_a119_SIGQUIT")))) & (((! (! (is-fireable("t_124819_a35_SIGIOT")))) & (((is-fireable("t_32746_a31_SIGQUIT")) | (is-fireable("t_46620_a109_SIGSYS"))) | ((is-fireable("t_32442_a31_SIGQUIT")) & (is-fireable("t_121006_a28_SIGCONT"))))) & (is-fireable("t_15473_a92_SIGCHLD"))))) | (! (! (((((is-fireable("t_129804_a63_SIGDEADLK")) & (is-fireable("t_101159_a32_SIGUSR1"))) & ((is-fireable("t_10422_a34_SIGSTOP")) | (is-fireable("t_140556_a72_SIGTTIN")))) | ((is-fireable("t_37996_a14_SIGTSTP")) | ((is-fireable("t_64694_a105_SIGABRT")) & (is-fireable("t_124075_a35_SIGIOT"))))) | ((((is-fireable("t_39580_a59_SIGABRT")) | (is-fireable("t_67899_a20_SIGSYS"))) | ((is-fireable("t_28375_a119_SIGQUIT")) & (is-fireable("t_20218_a60_SIGIOT")))) & (((is-fireable("t_143176_a115_SIGSEGV")) & (is-fireable("t_131373_a47_SIGILL"))) | ((is-fireable("t_88720_a70_SIGTRAP")) & (is-fireable("t_25898_a86_SIGHUP"))))))))) & ((! ((((! (is-fireable("t_143089_a115_SIGSEGV"))) & ((is-fireable("t_118822_a28_SIGCONT")) | (! (is-fireable("t_109258_a103_SIGWINCH"))))) & (! (! ((is-fireable("t_141670_a75_SIGQUIT")) | (is-fireable("t_7866_a34_SIGSTOP")))))) & ((! (((is-fireable("t_105202_a19_SIGWINCH")) & (is-fireable("t_133531_a49_SIGWINCH"))) | (! (is-fireable("t_38752_a59_SIGABRT"))))) & ((! (is-fireable("t_96324_a85_SIGIOT"))) | (! ((is-fireable("t_62956_a105_SIGABRT")) & (is-fireable("t_17932_a111_SIGTRAP")))))))) & (! ((is-fireable("t_114863_a100_SIGXFSZ")) | (((is-fireable("t_124135_a35_SIGIOT")) & (((is-fireable("t_16661_a92_SIGCHLD")) & (is-fireable("t_42775_a58_SIGHUP"))) | ((is-fireable("t_17607_a92_SIGCHLD")) & (is-fireable("t_53302_a57_SIGHUP"))))) & (! (! ((is-fireable("t_49630_a39_SIGSYS")) & (is-fireable("t_36867_a14_SIGTSTP"))))))))))))
   end.
Property RERS17pb115-PT-8-ReachabilityFireability-03
   "Automatically generated by Citili v2022"
   is:
      E (F (is-fireable("t_21455_a21_SIGPOLL")))
   end.
Property RERS17pb115-PT-8-ReachabilityFireability-04
   "Automatically generated by Citili v2022"
   is:
      E (F ((! (! (((((((is-fireable("t_123965_a35_SIGIOT")) & (is-fireable("t_78985_a30_SIGXFSZ"))) | ((is-fireable("t_130222_a63_SIGDEADLK")) & (is-fireable("t_37167_a14_SIGTSTP")))) | (((is-fireable("t_78817_a30_SIGXFSZ")) | (is-fireable("t_50614_a55_SIGCHLD"))) & ((is-fireable("t_110071_a73_SIGFPE")) | (is-fireable("t_95651_a85_SIGIOT"))))) & ((! ((is-fireable("t_104736_a19_SIGWINCH")) | (is-fireable("t_44744_a98_SIGINT")))) | (((is-fireable("t_34927_a14_SIGTSTP")) | (is-fireable("t_47716_a109_SIGSYS"))) & (is-fireable("t_9298_a34_SIGSTOP"))))) & ((! (((is-fireable("t_78001_a91_SIGPROF")) | (is-fireable("t_5102_a104_SIGHUP"))) & (! (is-fireable("t_116692_a100_SIGXFSZ"))))) | (is-fireable("t_2670_a102_SIGSYS")))) | (is-fireable("t_26446_a86_SIGHUP"))))) & (! (is-fireable("t_75985_a108_SIGUSR2")))))
   end.
Property RERS17pb115-PT-8-ReachabilityFireability-05
   "Automatically generated by Citili v2022"
   is:
      E (F (is-fireable("t_134311_a4_SIGQUIT")))
   end.
Property RERS17pb115-PT-8-ReachabilityFireability-06
   "Automatically generated by Citili v2022"
   is:
      E (F (! (((! (! (! (((! (is-fireable("t_134736_a4_SIGQUIT"))) | (is-fireable("t_82409_a94_SIGPOLL"))) & (is-fireable("t_133103_a47_SIGILL")))))) & (! (((is-fireable("t_140463_a1_SIGSYS")) & (is-fireable("t_98657_a85_SIGIOT"))) & ((! ((! (is-fireable("t_75899_a108_SIGUSR2"))) & (is-fireable("t_69828_a20_SIGSYS")))) | ((((is-fireable("t_12827_a76_SIGSTOP")) | (is-fireable("t_25387_a86_SIGHUP"))) & (! (is-fireable("t_138112_a17_SIGIOT")))) | (is-fireable("t_84039_a15_SIGKILL"))))))) | (! (! ((! ((is-fireable("t_136013_a10_SIGKILL")) & (is-fireable("t_113879_a100_SIGXFSZ")))) & (is-fireable("t_74802_a108_SIGUSR2"))))))))
   end.
Property RERS17pb115-PT-8-ReachabilityFireability-07
   "Automatically generated by Citili v2022"
   is:
      A (G (((! (((! ((((is-fireable("t_24181_a86_SIGHUP")) | (is-fireable("t_60979_a114_SIGBUS"))) & ((is-fireable("t_58826_a24_SIGURG")) | (is-fireable("t_27040_a86_SIGHUP")))) | (((is-fireable("t_16824_a92_SIGCHLD")) | (is-fireable("t_35843_a14_SIGTSTP"))) & (is-fireable("t_84533_a15_SIGKILL"))))) & (is-fireable("t_16413_a92_SIGCHLD"))) & (! ((! ((! (is-fireable("t_42495_a58_SIGHUP"))) | (! (is-fireable("t_98093_a85_SIGIOT"))))) & (is-fireable("t_106753_a106_SIGUSR1")))))) | (is-fireable("t_108582_a103_SIGWINCH"))) | ((is-fireable("t_78090_a91_SIGPROF")) & (! ((! (((is-fireable("t_139244_a1_SIGSYS")) & (((is-fireable("t_114756_a100_SIGXFSZ")) | (is-fireable("t_40330_a59_SIGABRT"))) & ((is-fireable("t_141218_a75_SIGQUIT")) & (is-fireable("t_43449_a3_SIGURG"))))) | (is-fireable("t_114592_a100_SIGXFSZ")))) | (is-fireable("t_103392_a19_SIGWINCH")))))))
   end.
Property RERS17pb115-PT-8-ReachabilityFireability-08
   "Automatically generated by Citili v2022"
   is:
      E (F (is-fireable("t_122716_a37_SIGTERM")))
   end.
Property RERS17pb115-PT-8-ReachabilityFireability-09
   "Automatically generated by Citili v2022"
   is:
      E (F (is-fireable("t_38614_a59_SIGABRT")))
   end.
Property RERS17pb115-PT-8-ReachabilityFireability-10
   "Automatically generated by Citili v2022"
   is:
      E (F ((is-fireable("t_11418_a34_SIGSTOP")) | (((! (! (! ((! (! (is-fireable("t_15771_a92_SIGCHLD")))) | (is-fireable("t_115859_a100_SIGXFSZ")))))) | (is-fireable("t_56368_a24_SIGURG"))) & (! (! (! ((! (((is-fireable("t_89023_a70_SIGTRAP")) | (is-fireable("t_5897_a104_SIGHUP"))) & ((is-fireable("t_117807_a28_SIGCONT")) | (is-fireable("t_12863_a76_SIGSTOP"))))) | (! ((is-fireable("t_50586_a55_SIGCHLD")) & ((is-fireable("t_85475_a15_SIGKILL")) & (is-fireable("t_31862_a65_SIGVTALRM"))))))))))))
   end.
Property RERS17pb115-PT-8-ReachabilityFireability-11
   "Automatically generated by Citili v2022"
   is:
      E (F (is-fireable("t_50127_a88_SIGVTALRM")))
   end.
Property RERS17pb115-PT-8-ReachabilityFireability-12
   "Automatically generated by Citili v2022"
   is:
      E (F (((! ((! (is-fireable("t_41580_a59_SIGABRT"))) | ((! ((! (is-fireable("t_107959_a77_SIGWINCH"))) | (((is-fireable("t_68293_a20_SIGSYS")) & (is-fireable("t_20018_a2_SIGUSR1"))) & ((is-fireable("t_63873_a105_SIGABRT")) | (is-fireable("t_25167_a86_SIGHUP")))))) | (! ((! (is-fireable("t_7233_a104_SIGHUP"))) & (! ((is-fireable("t_108788_a103_SIGWINCH")) | (is-fireable("t_129281_a46_SIGHUP"))))))))) & (((((is-fireable("t_92937_a38_SIGPROF")) | (! (is-fireable("t_109449_a27_SIGABRT")))) | ((is-fireable("t_68538_a20_SIGSYS")) & ((((is-fireable("t_134169_a4_SIGQUIT")) | (is-fireable("t_46427_a109_SIGSYS"))) | ((is-fireable("t_90206_a70_SIGTRAP")) | (is-fireable("t_23752_a86_SIGHUP")))) & (is-fireable("t_99319_a85_SIGIOT"))))) & (is-fireable("t_141670_a75_SIGQUIT"))) & (! ((is-fireable("t_106321_a22_SIGUSR1")) | ((is-fireable("t_17447_a92_SIGCHLD")) & (! ((! (is-fireable("t_122105_a37_SIGTERM"))) | ((is-fireable("t_107010_a106_SIGUSR1")) | (is-fireable("t_103302_a19_SIGWINCH")))))))))) | (is-fireable("t_117243_a100_SIGXFSZ"))))
   end.
Property RERS17pb115-PT-8-ReachabilityFireability-13
   "Automatically generated by Citili v2022"
   is:
      A (G ((is-fireable("t_22406_a64_SIGEMT")) | ((! (((is-fireable("t_136855_a6_SIGINFO")) | (((((is-fireable("t_89056_a70_SIGTRAP")) | (is-fireable("t_60494_a78_SIGQUIT"))) | ((is-fireable("t_13780_a92_SIGCHLD")) | (is-fireable("t_117444_a100_SIGXFSZ")))) | (((is-fireable("t_31144_a119_SIGQUIT")) & (is-fireable("t_63181_a105_SIGABRT"))) & (is-fireable("t_10345_a34_SIGSTOP")))) | ((! ((is-fireable("t_53322_a57_SIGHUP")) | (is-fireable("t_28073_a119_SIGQUIT")))) | (! ((is-fireable("t_29122_a119_SIGQUIT")) | (is-fireable("t_82469_a94_SIGPOLL"))))))) & (((is-fireable("t_140955_a72_SIGTTIN")) | (((! (is-fireable("t_40106_a59_SIGABRT"))) | (! (is-fireable("t_114598_a100_SIGXFSZ")))) & ((! (is-fireable("t_17059_a92_SIGCHLD"))) & (! (is-fireable("t_21557_a21_SIGPOLL")))))) | (! (! (is-fireable("t_87556_a117_SIGVTALRM"))))))) | (! (((((is-fireable("t_49096_a109_SIGSYS")) | (((is-fireable("t_106634_a106_SIGUSR1")) | (is-fireable("t_46923_a109_SIGSYS"))) | ((is-fireable("t_14277_a92_SIGCHLD")) & (is-fireable("t_8095_a34_SIGSTOP"))))) | ((! (! (is-fireable("t_52472_a57_SIGHUP")))) | (! (! (is-fireable("t_19210_a116_SIGCONT")))))) | (((is-fireable("t_68125_a20_SIGSYS")) | (! ((is-fireable("t_51551_a57_SIGHUP")) | (is-fireable("t_12271_a7_SIGPIPE"))))) & (is-fireable("t_116694_a100_SIGXFSZ")))) | ((! (! (((is-fireable("t_9301_a34_SIGSTOP")) | (is-fireable("t_137169_a6_SIGINFO"))) | ((is-fireable("t_64618_a105_SIGABRT")) | (is-fireable("t_118203_a28_SIGCONT")))))) & ((is-fireable("t_97309_a85_SIGIOT")) | (! (is-fireable("t_21854_a64_SIGEMT"))))))))))
   end.
Property RERS17pb115-PT-8-ReachabilityFireability-14
   "Automatically generated by Citili v2022"
   is:
      E (F ((is-fireable("t_44149_a3_SIGURG")) & (is-fireable("t_119502_a28_SIGCONT"))))
   end.
Property RERS17pb115-PT-8-ReachabilityFireability-15
   "Automatically generated by Citili v2022"
   is:
      E (F (! (((! (! (! ((((is-fireable("t_72510_a87_SIGPROF")) & (is-fireable("t_82588_a94_SIGPOLL"))) | ((is-fireable("t_33572_a97_SIGFPE")) & (is-fireable("t_96100_a85_SIGIOT")))) & (is-fireable("t_118821_a28_SIGCONT")))))) | ((is-fireable("t_73360_a87_SIGPROF")) | (! ((is-fireable("t_97602_a85_SIGIOT")) & (is-fireable("t_60383_a78_SIGQUIT")))))) | ((! (! ((! ((! (is-fireable("t_30620_a119_SIGQUIT"))) & ((is-fireable("t_33683_a97_SIGFPE")) | (is-fireable("t_122630_a37_SIGTERM"))))) & ((! (is-fireable("t_57743_a24_SIGURG"))) & ((is-fireable("t_73726_a87_SIGPROF")) & ((is-fireable("t_104254_a19_SIGWINCH")) | (is-fireable("t_70484_a87_SIGPROF")))))))) | (((is-fireable("t_9265_a34_SIGSTOP")) & (is-fireable("t_17494_a92_SIGCHLD"))) | (! ((is-fireable("t_89524_a70_SIGTRAP")) & (! (! (! (is-fireable("t_122016_a37_SIGTERM"))))))))))))
   end.
