Property RERS17pb115-PT-1-ReachabilityFireability-00
   "Automatically generated by Citili v2022"
   is:
      E (F ((! (! (is-fireable("t_46655_a109_SIGSYS")))) & ((is-fireable("t_25256_a86_SIGHUP")) | (is-fireable("t_112830_a73_SIGFPE")))))
   end.
Property RERS17pb115-PT-1-ReachabilityFireability-01
   "Automatically generated by Citili v2022"
   is:
      E (F (! (((is-fireable("t_92670_a38_SIGPROF")) & (! (((! ((! (is-fireable("t_117089_a100_SIGXFSZ"))) | ((is-fireable("t_119738_a28_SIGCONT")) | (is-fireable("t_11491_a34_SIGSTOP"))))) & (! (is-fireable("t_108125_a77_SIGWINCH")))) & (is-fireable("t_134939_a4_SIGQUIT"))))) | ((! (! (is-fireable("t_7202_a104_SIGHUP")))) | (! ((is-fireable("t_60188_a78_SIGQUIT")) | (! (! (is-fireable("t_138659_a1_SIGSYS"))))))))))
   end.
Property RERS17pb115-PT-1-ReachabilityFireability-02
   "Automatically generated by Citili v2022"
   is:
      E (F ((is-fireable("t_84007_a15_SIGKILL")) & ((((((is-fireable("t_7249_a104_SIGHUP")) & ((! (! (is-fireable("t_77688_a91_SIGPROF")))) & (is-fireable("t_66600_a20_SIGSYS")))) | (((! (! (is-fireable("t_115448_a100_SIGXFSZ")))) | (((is-fireable("t_123208_a35_SIGIOT")) & (is-fireable("t_41813_a59_SIGABRT"))) & ((is-fireable("t_72381_a87_SIGPROF")) & (is-fireable("t_135206_a4_SIGQUIT"))))) | (is-fireable("t_67155_a20_SIGSYS")))) | (! ((! (! (is-fireable("t_72566_a87_SIGPROF")))) & (! (! (! (is-fireable("t_84114_a15_SIGKILL")))))))) & (is-fireable("t_85983_a15_SIGKILL"))) & ((! (is-fireable("t_68983_a20_SIGSYS"))) | ((is-fireable("t_139737_a1_SIGSYS")) | (is-fireable("t_97635_a85_SIGIOT")))))))
   end.
Property RERS17pb115-PT-1-ReachabilityFireability-03
   "Automatically generated by Citili v2022"
   is:
      E (F ((is-fireable("t_131119_a50_SIGWINCH")) | (is-fireable("t_26248_a86_SIGHUP"))))
   end.
Property RERS17pb115-PT-1-ReachabilityFireability-04
   "Automatically generated by Citili v2022"
   is:
      A (G (! (is-fireable("t_75596_a108_SIGUSR2"))))
   end.
Property RERS17pb115-PT-1-ReachabilityFireability-05
   "Automatically generated by Citili v2022"
   is:
      E (F (is-fireable("t_17414_a92_SIGCHLD")))
   end.
Property RERS17pb115-PT-1-ReachabilityFireability-06
   "Automatically generated by Citili v2022"
   is:
      E (F (((! (! (is-fireable("t_58669_a24_SIGURG")))) & (! ((((((is-fireable("t_44227_a3_SIGURG")) | (is-fireable("t_76403_a91_SIGPROF"))) | ((! (is-fireable("t_31395_a119_SIGQUIT"))) | (! (is-fireable("t_38707_a59_SIGABRT"))))) | ((((is-fireable("t_85843_a15_SIGKILL")) | (is-fireable("t_16724_a92_SIGCHLD"))) & ((is-fireable("t_119145_a28_SIGCONT")) | (is-fireable("t_86790_a15_SIGKILL")))) | (((is-fireable("t_13688_a92_SIGCHLD")) & (is-fireable("t_121044_a28_SIGCONT"))) & ((is-fireable("t_110529_a73_SIGFPE")) & (is-fireable("t_10213_a34_SIGSTOP")))))) & (! (! (is-fireable("t_96332_a85_SIGIOT"))))) & ((! ((is-fireable("t_33256_a97_SIGFPE")) | (is-fireable("t_142688_a115_SIGSEGV")))) & (is-fireable("t_92344_a38_SIGPROF")))))) | (((! (is-fireable("t_114682_a100_SIGXFSZ"))) & (is-fireable("t_115292_a100_SIGXFSZ"))) & (! (is-fireable("t_55267_a57_SIGHUP"))))))
   end.
Property RERS17pb115-PT-1-ReachabilityFireability-07
   "Automatically generated by Citili v2022"
   is:
      A (G ((! ((is-fireable("t_81880_a26_SIGILL")) & (is-fireable("t_64992_a105_SIGABRT")))) | (((is-fireable("t_93293_a38_SIGPROF")) & ((is-fireable("t_23604_a64_SIGEMT")) | (is-fireable("t_127445_a93_SIGURG")))) & (! ((is-fireable("t_12381_a76_SIGSTOP")) | (! ((! ((! (is-fireable("t_127378_a93_SIGURG"))) & ((is-fireable("t_68879_a20_SIGSYS")) & (is-fireable("t_97703_a85_SIGIOT"))))) | (! (is-fireable("t_60959_a114_SIGBUS"))))))))))
   end.
Property RERS17pb115-PT-1-ReachabilityFireability-08
   "Automatically generated by Citili v2022"
   is:
      E (F (((! (! (is-fireable("t_18923_a116_SIGCONT")))) | (((is-fireable("t_141818_a75_SIGQUIT")) | (! (! (! (is-fireable("t_82442_a94_SIGPOLL")))))) & (((! (((is-fireable("t_57562_a24_SIGURG")) | (! (is-fireable("t_5266_a104_SIGHUP")))) | (((is-fireable("t_87404_a117_SIGVTALRM")) & (is-fireable("t_134402_a4_SIGQUIT"))) & ((is-fireable("t_127203_a93_SIGURG")) & (is-fireable("t_34753_a14_SIGTSTP")))))) & (is-fireable("t_142335_a115_SIGSEGV"))) | (is-fireable("t_25327_a86_SIGHUP"))))) & (((! (! ((is-fireable("t_10229_a34_SIGSTOP")) & ((((is-fireable("t_23049_a64_SIGEMT")) & (is-fireable("t_123085_a35_SIGIOT"))) & ((is-fireable("t_42730_a58_SIGHUP")) | (is-fireable("t_32965_a31_SIGQUIT")))) | (((is-fireable("t_67257_a20_SIGSYS")) & (is-fireable("t_70596_a87_SIGPROF"))) & (is-fireable("t_97474_a85_SIGIOT"))))))) & (! (! (is-fireable("t_52297_a57_SIGHUP"))))) & (((is-fireable("t_101146_a32_SIGUSR1")) & (is-fireable("t_117286_a100_SIGXFSZ"))) | (! ((is-fireable("t_95842_a85_SIGIOT")) | (! ((((is-fireable("t_55568_a23_SIGUSR2")) | (is-fireable("t_49859_a88_SIGVTALRM"))) | ((is-fireable("t_105997_a22_SIGUSR1")) & (is-fireable("t_61157_a114_SIGBUS")))) & ((! (is-fireable("t_136830_a6_SIGINFO"))) | ((is-fireable("t_59753_a24_SIGURG")) | (is-fireable("t_139439_a1_SIGSYS"))))))))))))
   end.
Property RERS17pb115-PT-1-ReachabilityFireability-09
   "Automatically generated by Citili v2022"
   is:
      E (F (! (! (is-fireable("t_136358_a10_SIGKILL")))))
   end.
Property RERS17pb115-PT-1-ReachabilityFireability-10
   "Automatically generated by Citili v2022"
   is:
      E (F ((((((((! ((is-fireable("t_133189_a47_SIGILL")) | (is-fireable("t_86928_a15_SIGKILL")))) & ((is-fireable("t_29210_a119_SIGQUIT")) & (! (is-fireable("t_91164_a5_SIGUSR2"))))) | (is-fireable("t_117458_a100_SIGXFSZ"))) & ((! ((is-fireable("t_10185_a34_SIGSTOP")) & (is-fireable("t_3965_a104_SIGHUP")))) | (is-fireable("t_43548_a3_SIGURG")))) & (! (is-fireable("t_118527_a28_SIGCONT")))) | (is-fireable("t_2929_a102_SIGSYS"))) | ((! (((! (! ((is-fireable("t_56417_a24_SIGURG")) | (is-fireable("t_4573_a104_SIGHUP"))))) | (is-fireable("t_81295_a26_SIGILL"))) | (! ((is-fireable("t_40300_a59_SIGABRT")) | (((is-fireable("t_124390_a35_SIGIOT")) & (is-fireable("t_99473_a85_SIGIOT"))) & (is-fireable("t_4948_a104_SIGHUP"))))))) | (! ((! (is-fireable("t_37879_a14_SIGTSTP"))) | ((((! (is-fireable("t_27646_a86_SIGHUP"))) | (is-fireable("t_97184_a85_SIGIOT"))) | (((is-fireable("t_80848_a26_SIGILL")) | (is-fireable("t_88012_a36_SIGCONT"))) | (is-fireable("t_90143_a70_SIGTRAP")))) | ((! (is-fireable("t_120350_a28_SIGCONT"))) & (! (is-fireable("t_80744_a26_SIGILL"))))))))) | ((is-fireable("t_137501_a17_SIGIOT")) | (is-fireable("t_123409_a35_SIGIOT")))))
   end.
Property RERS17pb115-PT-1-ReachabilityFireability-11
   "Automatically generated by Citili v2022"
   is:
      E (F ((((! ((is-fireable("t_19855_a2_SIGUSR1")) | (! (((! (is-fireable("t_141592_a75_SIGQUIT"))) & ((is-fireable("t_117282_a100_SIGXFSZ")) | (is-fireable("t_115274_a100_SIGXFSZ")))) | (((is-fireable("t_93125_a38_SIGPROF")) | (is-fireable("t_17877_a111_SIGTRAP"))) | (! (is-fireable("t_57263_a24_SIGURG")))))))) & (! ((is-fireable("t_63671_a105_SIGABRT")) & (is-fireable("t_113850_a100_SIGXFSZ"))))) & (is-fireable("t_135328_a4_SIGQUIT"))) & ((is-fireable("t_57677_a24_SIGURG")) & ((! ((! ((! ((is-fireable("t_96953_a85_SIGIOT")) | (is-fireable("t_57642_a24_SIGURG")))) | ((! (is-fireable("t_15919_a92_SIGCHLD"))) | (is-fireable("t_2254_a102_SIGSYS"))))) | (! ((! (! (is-fireable("t_45462_a109_SIGSYS")))) | (! ((is-fireable("t_116487_a100_SIGXFSZ")) & (is-fireable("t_13084_a76_SIGSTOP")))))))) | ((! (is-fireable("t_123623_a35_SIGIOT"))) & (! (((((is-fireable("t_129032_a93_SIGURG")) | (is-fireable("t_125319_a35_SIGIOT"))) | (! (is-fireable("t_58991_a24_SIGURG")))) & ((is-fireable("t_55437_a57_SIGHUP")) | ((is-fireable("t_129396_a46_SIGHUP")) & (is-fireable("t_12841_a76_SIGSTOP"))))) | (is-fireable("t_81809_a26_SIGILL")))))))))
   end.
Property RERS17pb115-PT-1-ReachabilityFireability-12
   "Automatically generated by Citili v2022"
   is:
      E (F ((is-fireable("t_91302_a84_SIGTRAP")) & (is-fireable("t_5317_a104_SIGHUP"))))
   end.
Property RERS17pb115-PT-1-ReachabilityFireability-13
   "Automatically generated by Citili v2022"
   is:
      E (F (is-fireable("t_34040_a97_SIGFPE")))
   end.
Property RERS17pb115-PT-1-ReachabilityFireability-14
   "Automatically generated by Citili v2022"
   is:
      A (G (! (((! (! (((is-fireable("t_28214_a119_SIGQUIT")) & (((is-fireable("t_41522_a59_SIGABRT")) | (is-fireable("t_68267_a20_SIGSYS"))) | ((is-fireable("t_25047_a86_SIGHUP")) | (is-fireable("t_86286_a15_SIGKILL"))))) | (! ((! (is-fireable("t_134123_a4_SIGQUIT"))) & ((is-fireable("t_11401_a34_SIGSTOP")) | (is-fireable("t_25379_a86_SIGHUP")))))))) & (! (! ((is-fireable("t_134384_a4_SIGQUIT")) | (! (! ((is-fireable("t_62714_a105_SIGABRT")) & (is-fireable("t_30846_a119_SIGQUIT"))))))))) & ((! ((((! ((is-fireable("t_115468_a100_SIGXFSZ")) & (is-fireable("t_25255_a86_SIGHUP")))) | ((is-fireable("t_22888_a64_SIGEMT")) & ((is-fireable("t_141777_a75_SIGQUIT")) | (is-fireable("t_90954_a5_SIGUSR2"))))) | ((((is-fireable("t_43038_a52_SIGCONT")) | (is-fireable("t_138500_a1_SIGSYS"))) & ((is-fireable("t_9589_a34_SIGSTOP")) | (is-fireable("t_56848_a24_SIGURG")))) | (is-fireable("t_919_a13_SIGPIPE")))) & (! ((! (! (is-fireable("t_88366_a36_SIGCONT")))) & (! (! (is-fireable("t_110057_a73_SIGFPE")))))))) & (! ((is-fireable("t_131309_a50_SIGWINCH")) & (is-fireable("t_106627_a106_SIGUSR1"))))))))
   end.
Property RERS17pb115-PT-1-ReachabilityFireability-15
   "Automatically generated by Citili v2022"
   is:
      E (F (! ((! ((((((is-fireable("t_137901_a17_SIGIOT")) | ((is-fireable("t_36731_a14_SIGTSTP")) | (is-fireable("t_55133_a57_SIGHUP")))) | (is-fireable("t_43498_a3_SIGURG"))) | (! ((is-fireable("t_31691_a119_SIGQUIT")) | ((is-fireable("t_58236_a24_SIGURG")) | (is-fireable("t_96775_a85_SIGIOT")))))) & (is-fireable("t_140040_a1_SIGSYS"))) | ((is-fireable("t_78322_a43_SIGURG")) & (is-fireable("t_54460_a57_SIGHUP"))))) & ((! ((((is-fireable("t_12935_a76_SIGSTOP")) | (is-fireable("t_21318_a79_SIGTERM"))) | ((is-fireable("t_94926_a74_SIGBUS")) & (is-fireable("t_95071_a51_SIGINFO")))) | (! (! (((is-fireable("t_101296_a32_SIGUSR1")) & (is-fireable("t_142007_a75_SIGQUIT"))) & ((is-fireable("t_57660_a24_SIGURG")) | (is-fireable("t_125116_a35_SIGIOT")))))))) & (! (is-fireable("t_127575_a93_SIGURG")))))))
   end.
