Property RERS17pb115-PT-8-ReachabilityFireability-2025-00
   "Automatically generated by Citili v2025"
   is:
      E (F ((! (((is-fireable("t_128696_a93_SIGURG")) | (((((is-fireable("t_10022_a34_SIGSTOP")) | (is-fireable("t_115738_a100_SIGXFSZ"))) & (is-fireable("t_3443_a54_SIGTTOU"))) | (! (is-fireable("t_126686_a35_SIGIOT")))) | (((! (is-fireable("t_130335_a50_SIGWINCH"))) | ((is-fireable("t_90865_a5_SIGUSR2")) | (is-fireable("t_42008_a59_SIGABRT")))) & ((! (is-fireable("t_40413_a59_SIGABRT"))) & ((is-fireable("t_77584_a91_SIGPROF")) | (is-fireable("t_23749_a86_SIGHUP"))))))) | (((! (is-fireable("t_101428_a32_SIGUSR1"))) & (((is-fireable("t_26727_a86_SIGHUP")) & ((is-fireable("t_45471_a109_SIGSYS")) | (is-fireable("t_58850_a24_SIGURG")))) & (is-fireable("t_47460_a109_SIGSYS")))) & (is-fireable("t_26304_a86_SIGHUP"))))) | ((is-fireable("t_107539_a77_SIGWINCH")) & (is-fireable("t_86351_a15_SIGKILL")))))
   end.
Property RERS17pb115-PT-8-ReachabilityFireability-2025-01
   "Automatically generated by Citili v2025"
   is:
      A (G (((is-fireable("t_85842_a15_SIGKILL")) & ((is-fireable("t_127930_a93_SIGURG")) | (! ((((! (is-fireable("t_115669_a100_SIGXFSZ"))) | (! (is-fireable("t_37572_a14_SIGTSTP")))) & (((is-fireable("t_15281_a92_SIGCHLD")) & ((is-fireable("t_12566_a76_SIGSTOP")) | (is-fireable("t_111741_a73_SIGFPE")))) | (((is-fireable("t_112433_a73_SIGFPE")) | (is-fireable("t_45254_a109_SIGSYS"))) | (is-fireable("t_114510_a100_SIGXFSZ"))))) & ((! (is-fireable("t_58114_a24_SIGURG"))) | ((((is-fireable("t_80772_a26_SIGILL")) | (is-fireable("t_103911_a19_SIGWINCH"))) | (! (is-fireable("t_4465_a104_SIGHUP")))) | (is-fireable("t_131843_a47_SIGILL")))))))) | (((is-fireable("t_112420_a73_SIGFPE")) & ((! (is-fireable("t_8705_a34_SIGSTOP"))) & (! (is-fireable("t_40491_a59_SIGABRT"))))) | ((! ((is-fireable("t_90166_a70_SIGTRAP")) & (is-fireable("t_129045_a93_SIGURG")))) | ((is-fireable("t_47986_a109_SIGSYS")) & (! (is-fireable("t_66078_a20_SIGSYS"))))))))
   end.
Property RERS17pb115-PT-8-ReachabilityFireability-2025-02
   "Automatically generated by Citili v2025"
   is:
      E (F ((! ((! ((is-fireable("t_68396_a20_SIGSYS")) & (! ((! (is-fireable("t_134073_a4_SIGQUIT"))) & (((is-fireable("t_142763_a115_SIGSEGV")) & (is-fireable("t_17113_a92_SIGCHLD"))) | ((is-fireable("t_24057_a86_SIGHUP")) & (is-fireable("t_23245_a64_SIGEMT")))))))) & ((is-fireable("t_40153_a59_SIGABRT")) | (! ((((is-fireable("t_117737_a100_SIGXFSZ")) & (! (is-fireable("t_1966_a53_SIGPROF")))) | ((is-fireable("t_45722_a109_SIGSYS")) | ((is-fireable("t_10439_a34_SIGSTOP")) | (is-fireable("t_54991_a57_SIGHUP"))))) & (is-fireable("t_103289_a19_SIGWINCH"))))))) & (! (is-fireable("t_73979_a87_SIGPROF")))))
   end.
Property RERS17pb115-PT-8-ReachabilityFireability-2025-03
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("t_38349_a59_SIGABRT")))
   end.
Property RERS17pb115-PT-8-ReachabilityFireability-2025-04
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("t_82674_a94_SIGPOLL")))
   end.
Property RERS17pb115-PT-8-ReachabilityFireability-2025-05
   "Automatically generated by Citili v2025"
   is:
      A (G (! (is-fireable("t_93487_a38_SIGPROF"))))
   end.
Property RERS17pb115-PT-8-ReachabilityFireability-2025-06
   "Automatically generated by Citili v2025"
   is:
      E (F ((! ((is-fireable("t_63415_a105_SIGABRT")) | ((! ((is-fireable("t_124263_a35_SIGIOT")) & (! (is-fireable("t_71373_a87_SIGPROF"))))) | (is-fireable("t_2214_a102_SIGSYS"))))) & (! (is-fireable("t_140461_a1_SIGSYS")))))
   end.
Property RERS17pb115-PT-8-ReachabilityFireability-2025-07
   "Automatically generated by Citili v2025"
   is:
      A (G (((! ((((((is-fireable("t_12589_a76_SIGSTOP")) | (is-fireable("t_90279_a70_SIGTRAP"))) & ((is-fireable("t_41950_a59_SIGABRT")) & (is-fireable("t_109197_a103_SIGWINCH")))) | (((is-fireable("t_48435_a109_SIGSYS")) & (is-fireable("t_18638_a25_SIGURG"))) | ((is-fireable("t_64453_a105_SIGABRT")) | (is-fireable("t_5492_a104_SIGHUP"))))) | ((! ((is-fireable("t_26508_a86_SIGHUP")) | (is-fireable("t_99360_a85_SIGIOT")))) | (! ((is-fireable("t_124733_a35_SIGIOT")) & (is-fireable("t_67773_a20_SIGSYS")))))) & (is-fireable("t_136811_a6_SIGINFO")))) | ((((((((is-fireable("t_106870_a106_SIGUSR1")) & (is-fireable("t_16182_a92_SIGCHLD"))) & ((is-fireable("t_28115_a119_SIGQUIT")) | (is-fireable("t_105248_a19_SIGWINCH")))) | (! (is-fireable("t_83394_a15_SIGKILL")))) & (is-fireable("t_94403_a18_SIGSEGV"))) | ((is-fireable("t_31017_a119_SIGQUIT")) & ((! (is-fireable("t_139538_a1_SIGSYS"))) | (is-fireable("t_96735_a85_SIGIOT"))))) | ((((((is-fireable("t_138405_a17_SIGIOT")) & (is-fireable("t_44224_a3_SIGURG"))) & ((is-fireable("t_77298_a91_SIGPROF")) | (is-fireable("t_70610_a87_SIGPROF")))) | (is-fireable("t_82186_a94_SIGPOLL"))) | (! (is-fireable("t_127174_a93_SIGURG")))) | ((((! (is-fireable("t_109516_a27_SIGABRT"))) | (is-fireable("t_42176_a59_SIGABRT"))) | (is-fireable("t_12938_a76_SIGSTOP"))) | (! (is-fireable("t_121371_a28_SIGCONT")))))) & (! ((is-fireable("t_131277_a50_SIGWINCH")) & (is-fireable("t_66848_a20_SIGSYS")))))) | (! ((is-fireable("t_98978_a85_SIGIOT")) | (is-fireable("t_95351_a51_SIGINFO"))))))
   end.
Property RERS17pb115-PT-8-ReachabilityFireability-2025-08
   "Automatically generated by Citili v2025"
   is:
      E (F ((is-fireable("t_43098_a52_SIGCONT")) | (((is-fireable("t_42356_a58_SIGHUP")) & (is-fireable("t_117783_a100_SIGXFSZ"))) | (! (((((is-fireable("t_120203_a28_SIGCONT")) | (! (is-fireable("t_112458_a73_SIGFPE")))) | (! ((is-fireable("t_113040_a73_SIGFPE")) & (is-fireable("t_53774_a57_SIGHUP"))))) | ((is-fireable("t_129848_a63_SIGDEADLK")) | ((is-fireable("t_28708_a119_SIGQUIT")) | ((is-fireable("t_1455_a8_SIGTTIN")) & (is-fireable("t_85429_a15_SIGKILL")))))) & ((((is-fireable("t_62805_a105_SIGABRT")) | (! (is-fireable("t_55605_a44_SIGURG")))) & (is-fireable("t_6682_a104_SIGHUP"))) | (! (((is-fireable("t_112686_a73_SIGFPE")) | (is-fireable("t_39415_a59_SIGABRT"))) | ((is-fireable("t_91586_a9_SIGPROF")) & (is-fireable("t_138240_a17_SIGIOT")))))))))))
   end.
Property RERS17pb115-PT-8-ReachabilityFireability-2025-09
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("t_41291_a59_SIGABRT")))
   end.
Property RERS17pb115-PT-8-ReachabilityFireability-2025-10
   "Automatically generated by Citili v2025"
   is:
      E (F ((! (((is-fireable("t_34676_a14_SIGTSTP")) | (((((is-fireable("t_99567_a85_SIGIOT")) & (is-fireable("t_130610_a50_SIGWINCH"))) & (is-fireable("t_871_a13_SIGPIPE"))) & (((is-fireable("t_39275_a59_SIGABRT")) & (is-fireable("t_12409_a76_SIGSTOP"))) & ((is-fireable("t_45959_a109_SIGSYS")) & (is-fireable("t_106124_a22_SIGUSR1"))))) | (! (((is-fireable("t_98105_a85_SIGIOT")) | (is-fireable("t_89336_a70_SIGTRAP"))) | ((is-fireable("t_78926_a30_SIGXFSZ")) | (is-fireable("t_140112_a1_SIGSYS"))))))) | ((is-fireable("t_37808_a14_SIGTSTP")) & ((((! (is-fireable("t_2513_a102_SIGSYS"))) & (is-fireable("t_97693_a85_SIGIOT"))) | (((is-fireable("t_107212_a106_SIGUSR1")) | (is-fireable("t_21341_a79_SIGTERM"))) & ((is-fireable("t_13514_a42_SIGDEADLK")) | (is-fireable("t_78465_a43_SIGURG"))))) | (is-fireable("t_92818_a38_SIGPROF")))))) & ((((! (((! ((is-fireable("t_45368_a109_SIGSYS")) & (is-fireable("t_71207_a87_SIGPROF")))) & ((! (is-fireable("t_123395_a35_SIGIOT"))) & (! (is-fireable("t_9392_a34_SIGSTOP"))))) | ((! ((is-fireable("t_90295_a70_SIGTRAP")) & (is-fireable("t_130110_a63_SIGDEADLK")))) & (((is-fireable("t_28101_a119_SIGQUIT")) & (is-fireable("t_85146_a15_SIGKILL"))) | ((is-fireable("t_120146_a28_SIGCONT")) | (is-fireable("t_109325_a103_SIGWINCH"))))))) | (is-fireable("t_18894_a116_SIGCONT"))) | (! ((! (((is-fireable("t_69183_a20_SIGSYS")) & ((is-fireable("t_70977_a87_SIGPROF")) & (is-fireable("t_74735_a108_SIGUSR2")))) & ((! (is-fireable("t_122808_a37_SIGTERM"))) | ((is-fireable("t_95596_a85_SIGIOT")) & (is-fireable("t_128755_a93_SIGURG")))))) & (! (is-fireable("t_80373_a26_SIGILL")))))) & (((is-fireable("t_111850_a73_SIGFPE")) | (! (((((is-fireable("t_68363_a20_SIGSYS")) | (is-fireable("t_142379_a115_SIGSEGV"))) & (is-fireable("t_134671_a4_SIGQUIT"))) & (! ((is-fireable("t_143384_a115_SIGSEGV")) | (is-fireable("t_24410_a86_SIGHUP"))))) & (((is-fireable("t_82090_a94_SIGPOLL")) | (! (is-fireable("t_9909_a34_SIGSTOP")))) & (((is-fireable("t_137331_a6_SIGINFO")) & (is-fireable("t_49949_a88_SIGVTALRM"))) & (! (is-fireable("t_102115_a19_SIGWINCH")))))))) & (! (is-fireable("t_91011_a5_SIGUSR2")))))))
   end.
Property RERS17pb115-PT-8-ReachabilityFireability-2025-11
   "Automatically generated by Citili v2025"
   is:
      A (G ((! ((! (((! ((! (is-fireable("t_53544_a57_SIGHUP"))) | (is-fireable("t_47562_a109_SIGSYS")))) & (! (is-fireable("t_95798_a85_SIGIOT")))) | ((is-fireable("t_142033_a75_SIGQUIT")) & ((((is-fireable("t_37745_a14_SIGTSTP")) & (is-fireable("t_40940_a59_SIGABRT"))) | (! (is-fireable("t_45126_a98_SIGINT")))) | (! ((is-fireable("t_105824_a19_SIGWINCH")) & (is-fireable("t_137017_a6_SIGINFO")))))))) & (is-fireable("t_51629_a57_SIGHUP")))) & ((is-fireable("t_74493_a108_SIGUSR2")) | ((is-fireable("t_140600_a72_SIGTTIN")) | (! (is-fireable("t_29213_a119_SIGQUIT")))))))
   end.
Property RERS17pb115-PT-8-ReachabilityFireability-12
   "Automatically generated by Citili v2023"
   is:
      E (F (is-fireable("t_14491_a92_SIGCHLD")))
   end.
Property RERS17pb115-PT-8-ReachabilityFireability-13
   "Automatically generated by Citili v2023"
   is:
      A (G ((((is-fireable("t_113406_a73_SIGFPE")) & (is-fireable("t_96408_a85_SIGIOT"))) & (! (((! ((((is-fireable("t_90143_a70_SIGTRAP")) & (is-fireable("t_14695_a92_SIGCHLD"))) | (is-fireable("t_68160_a20_SIGSYS"))) | (! (is-fireable("t_80678_a26_SIGILL"))))) & ((((! (is-fireable("t_32567_a31_SIGQUIT"))) & (! (is-fireable("t_52561_a57_SIGHUP")))) | (! (is-fireable("t_67531_a20_SIGSYS")))) & ((is-fireable("t_62103_a105_SIGABRT")) | (((is-fireable("t_55592_a44_SIGURG")) | (is-fireable("t_98024_a85_SIGIOT"))) & ((is-fireable("t_141891_a75_SIGQUIT")) & (is-fireable("t_6362_a104_SIGHUP"))))))) | (is-fireable("t_53609_a57_SIGHUP"))))) | (! (((is-fireable("t_140615_a72_SIGTTIN")) & (! (((((is-fireable("t_96859_a85_SIGIOT")) & (is-fireable("t_24133_a86_SIGHUP"))) & (is-fireable("t_139407_a1_SIGSYS"))) & (((is-fireable("t_11398_a34_SIGSTOP")) | (is-fireable("t_5_a71_SIGPROF"))) & (is-fireable("t_97036_a85_SIGIOT")))) & ((is-fireable("t_54139_a57_SIGHUP")) & (((is-fireable("t_41796_a59_SIGABRT")) | (is-fireable("t_70617_a87_SIGPROF"))) | ((is-fireable("t_139806_a1_SIGSYS")) & (is-fireable("t_103242_a19_SIGWINCH")))))))) & ((is-fireable("t_93276_a38_SIGPROF")) & ((((is-fireable("t_64399_a105_SIGABRT")) & ((! (is-fireable("t_138957_a1_SIGSYS"))) & (! (is-fireable("t_90383_a70_SIGTRAP"))))) & (is-fireable("t_81915_a26_SIGILL"))) & (! (is-fireable("t_93368_a38_SIGPROF")))))))))
   end.
Property RERS17pb115-PT-8-ReachabilityFireability-14
   "Automatically generated by Citili v2023"
   is:
      A (G ((((is-fireable("t_21077_a69_SIGKILL")) | (is-fireable("t_25886_a86_SIGHUP"))) & (is-fireable("t_21251_a69_SIGKILL"))) | (! ((! ((is-fireable("t_6276_a104_SIGHUP")) & (is-fireable("t_40515_a59_SIGABRT")))) & (! (((! (is-fireable("t_32928_a31_SIGQUIT"))) | (! (is-fireable("t_90657_a70_SIGTRAP")))) & ((! (is-fireable("t_42983_a52_SIGCONT"))) | ((is-fireable("t_6440_a104_SIGHUP")) | (is-fireable("t_20842_a67_SIGALRM"))))))))))
   end.
Property RERS17pb115-PT-8-ReachabilityFireability-15
   "Automatically generated by Citili v2023"
   is:
      A (G ((! (is-fireable("t_142790_a115_SIGSEGV"))) | (((! (((is-fireable("t_49583_a39_SIGSYS")) & ((! ((is-fireable("t_80039_a26_SIGILL")) & (is-fireable("t_44192_a3_SIGURG")))) | (is-fireable("t_6188_a104_SIGHUP")))) | (! (is-fireable("t_12093_a7_SIGPIPE"))))) | (((((((is-fireable("t_98734_a85_SIGIOT")) | (is-fireable("t_73028_a87_SIGPROF"))) | (! (is-fireable("t_136833_a6_SIGINFO")))) & (! (is-fireable("t_6505_a104_SIGHUP")))) | ((! ((is-fireable("t_54407_a57_SIGHUP")) | (is-fireable("t_122699_a37_SIGTERM")))) & (! (is-fireable("t_24090_a86_SIGHUP"))))) & (((((is-fireable("t_120622_a28_SIGCONT")) | (is-fireable("t_76847_a91_SIGPROF"))) & (! (is-fireable("t_142529_a115_SIGSEGV")))) & (! ((is-fireable("t_94656_a29_SIGUSR1")) & (is-fireable("t_109729_a73_SIGFPE"))))) & ((! ((is-fireable("t_97125_a85_SIGIOT")) | (is-fireable("t_108962_a103_SIGWINCH")))) | (((is-fireable("t_135720_a4_SIGQUIT")) & (is-fireable("t_123178_a35_SIGIOT"))) | ((is-fireable("t_122457_a37_SIGTERM")) | (is-fireable("t_50863_a55_SIGCHLD"))))))) & ((! (is-fireable("t_129008_a93_SIGURG"))) & (is-fireable("t_11587_a34_SIGSTOP"))))) | (((! ((! ((is-fireable("t_16568_a92_SIGCHLD")) & ((is-fireable("t_103037_a19_SIGWINCH")) | (is-fireable("t_46204_a109_SIGSYS"))))) & (((is-fireable("t_138298_a17_SIGIOT")) & (is-fireable("t_75286_a108_SIGUSR2"))) & (! (is-fireable("t_137777_a17_SIGIOT")))))) & ((is-fireable("t_119203_a28_SIGCONT")) & (! (is-fireable("t_111370_a73_SIGFPE"))))) & (! (is-fireable("t_5247_a104_SIGHUP")))))))
   end.
