Property RERS17pb114-PT-5-ReachabilityFireability-00
   "Automatically generated by Citili v2022"
   is:
      E (F (((((! ((is-fireable("t_45176_a117_SIGPWR")) | (! (((is-fireable("t_101483_a51_SIGPWR")) | (is-fireable("t_10842_a35_SIGSTOP"))) | (is-fireable("t_6128_a33_SIGKILL")))))) | (is-fireable("t_35887_a75_SIGUSR2"))) & (! (! (is-fireable("t_22944_a93_SIGTRAP"))))) & ((is-fireable("t_67846_a23_SIGHUP")) & (! ((! ((! (is-fireable("t_95167_a22_SIGSTOP"))) & (! ((is-fireable("t_79365_a4_SIGTSTP")) & (is-fireable("t_84864_a41_SIGSEGV")))))) & ((((is-fireable("t_28282_a76_SIGILL")) & (! (is-fireable("t_12836_a111_SIGTTOU")))) | (! ((is-fireable("t_21677_a92_SIGSTOP")) | (is-fireable("t_38104_a25_SIGINFO"))))) & (is-fireable("t_92398_a44_SIGDEADLK"))))))) & (! (((is-fireable("t_118327_a72_SIGTERM")) & ((is-fireable("t_44394_a117_SIGPWR")) | (is-fireable("t_149158_a73_SIGURG")))) & (is-fireable("t_18128_a40_SIGUSR1"))))))
   end.
Property RERS17pb114-PT-5-ReachabilityFireability-01
   "Automatically generated by Citili v2022"
   is:
      E (F (! (((is-fireable("t_84177_a41_SIGSEGV")) | (! ((is-fireable("t_47180_a87_SIGALRM")) & (is-fireable("t_105033_a58_SIGTERM"))))) | (is-fireable("t_35682_a75_SIGUSR2")))))
   end.
Property RERS17pb114-PT-5-ReachabilityFireability-02
   "Automatically generated by Citili v2022"
   is:
      E (F (! (! ((((((((is-fireable("t_7511_a59_SIGUSR1")) | (is-fireable("t_37769_a25_SIGINFO"))) & (is-fireable("t_116890_a96_SIGABRT"))) & (! (is-fireable("t_8803_a16_SIGALRM")))) & (is-fireable("t_22441_a93_SIGTRAP"))) & (! (! ((is-fireable("t_64727_a64_SIGVTALRM")) | ((is-fireable("t_97136_a22_SIGSTOP")) & (is-fireable("t_105340_a82_SIGBUS"))))))) | (is-fireable("t_134921_a84_SIGINT"))) & ((is-fireable("t_42723_a117_SIGPWR")) & (! (! (is-fireable("t_21383_a1_SIGSEGV")))))))))
   end.
Property RERS17pb114-PT-5-ReachabilityFireability-03
   "Automatically generated by Citili v2022"
   is:
      E (F (is-fireable("t_29580_a109_SIGTRAP")))
   end.
Property RERS17pb114-PT-5-ReachabilityFireability-04
   "Automatically generated by Citili v2022"
   is:
      E (F ((is-fireable("t_32789_a46_SIGBUS")) & ((! (is-fireable("t_115877_a89_SIGUSR2"))) | (((! (((! ((is-fireable("t_139946_a90_SIGINFO")) | (is-fireable("t_51498_a42_SIGDEADLK")))) & (is-fireable("t_76767_a114_SIGUSR1"))) | (! (((is-fireable("t_124764_a88_SIGPWR")) | (is-fireable("t_133975_a84_SIGINT"))) & ((is-fireable("t_145765_a119_SIGSTOP")) & (is-fireable("t_116195_a96_SIGABRT"))))))) & (! (((! (! (is-fireable("t_78644_a30_SIGBUS")))) & ((is-fireable("t_110876_a62_SIGTRAP")) | (! (is-fireable("t_165_a99_SIGILL"))))) | ((! ((is-fireable("t_27335_a76_SIGILL")) & (is-fireable("t_27176_a76_SIGILL")))) | ((! (is-fireable("t_107676_a15_SIGPOLL"))) | ((is-fireable("t_97207_a22_SIGSTOP")) & (is-fireable("t_71301_a24_SIGCHLD")))))))) | (is-fireable("t_142032_a90_SIGINFO"))))))
   end.
Property RERS17pb114-PT-5-ReachabilityFireability-05
   "Automatically generated by Citili v2022"
   is:
      A (G (! (is-fireable("t_74156_a24_SIGCHLD"))))
   end.
Property RERS17pb114-PT-5-ReachabilityFireability-06
   "Automatically generated by Citili v2022"
   is:
      A (G (! (is-fireable("t_8675_a16_SIGALRM"))))
   end.
Property RERS17pb114-PT-5-ReachabilityFireability-07
   "Automatically generated by Citili v2022"
   is:
      E (F (((is-fireable("t_42334_a117_SIGPWR")) | (! ((is-fireable("t_109131_a15_SIGPOLL")) | (is-fireable("t_67987_a23_SIGHUP"))))) & ((is-fireable("t_4595_a33_SIGKILL")) & (((! (! (is-fireable("t_141604_a90_SIGINFO")))) | ((is-fireable("t_142660_a90_SIGINFO")) | (((is-fireable("t_50464_a69_SIGTTOU")) & ((! (is-fireable("t_18980_a63_SIGUSR2"))) & ((is-fireable("t_27575_a76_SIGILL")) & (is-fireable("t_80542_a4_SIGTSTP"))))) | ((((is-fireable("t_113081_a89_SIGUSR2")) | (is-fireable("t_75874_a114_SIGUSR1"))) | ((is-fireable("t_18186_a40_SIGUSR1")) | (is-fireable("t_39869_a110_SIGINT")))) | (is-fireable("t_72897_a24_SIGCHLD")))))) & (! ((is-fireable("t_144335_a2_SIGLOST")) & ((((is-fireable("t_143937_a2_SIGLOST")) & ((is-fireable("t_46537_a87_SIGALRM")) | (is-fireable("t_138_a99_SIGILL")))) | ((! (is-fireable("t_42720_a117_SIGPWR"))) & (is-fireable("t_80618_a4_SIGTSTP")))) & ((is-fireable("t_1482_a99_SIGILL")) | (is-fireable("t_30068_a109_SIGTRAP"))))))))))
   end.
Property RERS17pb114-PT-5-ReachabilityFireability-08
   "Automatically generated by Citili v2022"
   is:
      A (G (! (is-fireable("t_71284_a24_SIGCHLD"))))
   end.
Property RERS17pb114-PT-5-ReachabilityFireability-09
   "Automatically generated by Citili v2022"
   is:
      E (F (is-fireable("t_41297_a107_SIGPWR")))
   end.
Property RERS17pb114-PT-5-ReachabilityFireability-10
   "Automatically generated by Citili v2022"
   is:
      E (F (is-fireable("t_114539_a89_SIGUSR2")))
   end.
Property RERS17pb114-PT-5-ReachabilityFireability-11
   "Automatically generated by Citili v2022"
   is:
      A (G ((! ((((((! (! (is-fireable("t_150024_a73_SIGURG")))) | (is-fireable("t_118279_a72_SIGTERM"))) | ((! ((is-fireable("t_45610_a117_SIGPWR")) | (is-fireable("t_37857_a25_SIGINFO")))) | ((! (is-fireable("t_4351_a33_SIGKILL"))) & ((is-fireable("t_96179_a22_SIGSTOP")) & (is-fireable("t_126440_a71_SIGVTALRM")))))) & (is-fireable("t_36807_a75_SIGUSR2"))) | (is-fireable("t_116703_a96_SIGABRT"))) & (is-fireable("t_42221_a117_SIGPWR")))) | ((! (is-fireable("t_41821_a107_SIGPWR"))) | (! (! (((! (! (is-fireable("t_66446_a23_SIGHUP")))) & (is-fireable("t_133401_a84_SIGINT"))) | (((is-fireable("t_61632_a26_SIGCHLD")) & (! (is-fireable("t_98117_a22_SIGSTOP")))) & (is-fireable("t_80167_a4_SIGTSTP")))))))))
   end.
Property RERS17pb114-PT-5-ReachabilityFireability-12
   "Automatically generated by Citili v2022"
   is:
      A (G ((! ((! (((! (is-fireable("t_95495_a22_SIGSTOP"))) | ((! (is-fireable("t_26216_a93_SIGTRAP"))) & ((! (is-fireable("t_147837_a61_SIGHUP"))) | ((is-fireable("t_84946_a41_SIGSEGV")) | (is-fireable("t_27797_a76_SIGILL")))))) | (((! (! (is-fireable("t_92865_a91_SIGPIPE")))) & (! ((is-fireable("t_72875_a24_SIGCHLD")) & (is-fireable("t_100526_a51_SIGPWR"))))) & (is-fireable("t_18954_a63_SIGUSR2"))))) | (is-fireable("t_144610_a6_SIGSEGV")))) | ((! ((! (! ((((is-fireable("t_7955_a59_SIGUSR1")) | (is-fireable("t_7411_a59_SIGUSR1"))) & (! (is-fireable("t_115219_a89_SIGUSR2")))) & ((! (is-fireable("t_48357_a87_SIGALRM"))) & ((is-fireable("t_81710_a4_SIGTSTP")) & (is-fireable("t_21848_a92_SIGSTOP"))))))) | (! (is-fireable("t_73084_a24_SIGCHLD"))))) | ((((! (is-fireable("t_77409_a32_SIGILL"))) & (! ((is-fireable("t_107815_a15_SIGPOLL")) & ((is-fireable("t_14444_a101_SIGUSR2")) | ((is-fireable("t_105745_a82_SIGBUS")) | (is-fireable("t_105912_a82_SIGBUS"))))))) | (! (is-fireable("t_91867_a44_SIGDEADLK")))) & (! ((is-fireable("t_129256_a21_SIGINFO")) | (is-fireable("t_1345_a99_SIGILL"))))))))
   end.
Property RERS17pb114-PT-5-ReachabilityFireability-13
   "Automatically generated by Citili v2022"
   is:
      A (G ((((((((! (! (is-fireable("t_89257_a79_SIGURG")))) | (is-fireable("t_85470_a38_SIGFPE"))) | (! (! (is-fireable("t_5305_a33_SIGKILL"))))) & (is-fireable("t_40732_a39_SIGPROF"))) | (is-fireable("t_52930_a42_SIGDEADLK"))) | ((! (((((is-fireable("t_136862_a14_SIGDEADLK")) & (is-fireable("t_97872_a22_SIGSTOP"))) & ((is-fireable("t_132007_a84_SIGINT")) | (is-fireable("t_94358_a22_SIGSTOP")))) | (is-fireable("t_41317_a107_SIGPWR"))) | (is-fireable("t_13101_a70_SIGIOT")))) & (is-fireable("t_129279_a21_SIGINFO")))) | ((((((! ((is-fireable("t_107698_a15_SIGPOLL")) | (is-fireable("t_150568_a28_SIGINT")))) & (! (! (is-fireable("t_46004_a117_SIGPWR"))))) & ((((is-fireable("t_39773_a110_SIGINT")) | (is-fireable("t_84704_a41_SIGSEGV"))) | ((is-fireable("t_34356_a43_SIGTTOU")) | (is-fireable("t_126454_a71_SIGVTALRM")))) & (! ((is-fireable("t_69311_a23_SIGHUP")) | (is-fireable("t_86759_a113_SIGCHLD")))))) & ((! ((is-fireable("t_74161_a24_SIGCHLD")) | (! (is-fireable("t_116024_a96_SIGABRT"))))) & (is-fireable("t_46819_a87_SIGALRM")))) | (! (is-fireable("t_24338_a93_SIGTRAP")))) & (! ((is-fireable("t_127030_a71_SIGVTALRM")) | ((is-fireable("t_63649_a26_SIGCHLD")) & (! (((is-fireable("t_71531_a24_SIGCHLD")) & (is-fireable("t_51281_a42_SIGDEADLK"))) | (! (is-fireable("t_49929_a87_SIGALRM")))))))))) & (! (is-fireable("t_92642_a44_SIGDEADLK")))))
   end.
Property RERS17pb114-PT-5-ReachabilityFireability-14
   "Automatically generated by Citili v2022"
   is:
      E (F (((((is-fireable("t_91394_a44_SIGDEADLK")) & ((((((is-fireable("t_89276_a79_SIGURG")) & (is-fireable("t_22297_a92_SIGSTOP"))) & (! (is-fireable("t_56026_a65_SIGUSR1")))) & (is-fireable("t_9087_a16_SIGALRM"))) & ((! (is-fireable("t_149013_a73_SIGURG"))) | ((! (is-fireable("t_40868_a39_SIGPROF"))) | ((is-fireable("t_106048_a82_SIGBUS")) & (is-fireable("t_90213_a95_SIGEMT")))))) & (is-fireable("t_25337_a93_SIGTRAP")))) | ((is-fireable("t_90385_a13_SIGVTALRM")) & (! (! (is-fireable("t_78666_a30_SIGBUS")))))) & (is-fireable("t_101102_a51_SIGPWR"))) | (is-fireable("t_3857_a31_SIGXFSZ"))))
   end.
Property RERS17pb114-PT-5-ReachabilityFireability-15
   "Automatically generated by Citili v2022"
   is:
      E (F (is-fireable("t_146316_a119_SIGSTOP")))
   end.
