Property RERS17pb115-PT-8-CTLFireability-2025-00
   "Automatically generated by Citili v2025"
   is:
      A ((A (X (! (is-fireable("t_79726_a48_SIGPWR"))))) U (is-fireable("t_119705_a28_SIGCONT")))
   end.
Property RERS17pb115-PT-8-CTLFireability-2025-01
   "Automatically generated by Citili v2025"
   is:
      E (X ((A (G (E (F ((E (F (is-fireable("t_43172_a52_SIGCONT")))) | (A (G (is-fireable("t_87297_a117_SIGVTALRM"))))))))) & ((! (A (G (is-fireable("t_59814_a78_SIGQUIT"))))) & (E (F (is-fireable("t_103612_a19_SIGWINCH")))))))
   end.
Property RERS17pb115-PT-8-CTLFireability-2025-02
   "Automatically generated by Citili v2025"
   is:
      E (X (E (X (! (A (G (! ((is-fireable("t_23269_a64_SIGEMT")) | (is-fireable("t_47441_a109_SIGSYS"))))))))))
   end.
Property RERS17pb115-PT-8-CTLFireability-2025-03
   "Automatically generated by Citili v2025"
   is:
      ! (E (X (A ((A (G (E (G (is-fireable("t_57020_a24_SIGURG")))))) U (A ((! ((is-fireable("t_51452_a57_SIGHUP")) | (is-fireable("t_77696_a91_SIGPROF")))) U (is-fireable("t_10590_a34_SIGSTOP"))))))))
   end.
Property RERS17pb115-PT-8-CTLFireability-2025-04
   "Automatically generated by Citili v2025"
   is:
      A ((A (((E (F (A (X (is-fireable("t_20564_a67_SIGALRM")))))) & (! ((A ((is-fireable("t_12936_a76_SIGSTOP")) U (is-fireable("t_90549_a70_SIGTRAP")))) & (E (F (is-fireable("t_3501_a54_SIGTTOU"))))))) U (A (F (is-fireable("t_57422_a24_SIGURG")))))) U (A (((! ((A ((is-fireable("t_53760_a57_SIGHUP")) U (is-fireable("t_110314_a73_SIGFPE")))) & (E (F (is-fireable("t_48359_a109_SIGSYS")))))) & ((is-fireable("t_114145_a100_SIGXFSZ")) | (E ((is-fireable("t_111309_a73_SIGFPE")) U ((is-fireable("t_63615_a105_SIGABRT")) | (is-fireable("t_132218_a47_SIGILL"))))))) U (E (G (! ((is-fireable("t_2650_a102_SIGSYS")) | (is-fireable("t_111053_a73_SIGFPE")))))))))
   end.
Property RERS17pb115-PT-8-CTLFireability-2025-05
   "Automatically generated by Citili v2025"
   is:
      A ((E (G (((is-fireable("t_33342_a97_SIGFPE")) | (A (X (is-fireable("t_43119_a52_SIGCONT"))))) & (E (G (A (G (is-fireable("t_92755_a38_SIGPROF"))))))))) U ((! (is-fireable("t_138578_a1_SIGSYS"))) & ((E (F ((A (G (is-fireable("t_78825_a30_SIGXFSZ")))) & (E (F (is-fireable("t_28934_a119_SIGQUIT"))))))) | ((is-fireable("t_89238_a70_SIGTRAP")) & (E (X (is-fireable("t_42607_a58_SIGHUP"))))))))
   end.
Property RERS17pb115-PT-8-CTLFireability-2025-06
   "Automatically generated by Citili v2025"
   is:
      (! (A (F ((! (A (G (! (is-fireable("t_110658_a73_SIGFPE")))))) & (A (X (is-fireable("t_139234_a1_SIGSYS")))))))) & (E ((E (X (! ((((is-fireable("t_9385_a34_SIGSTOP")) | (is-fireable("t_30407_a119_SIGQUIT"))) | (is-fireable("t_135194_a4_SIGQUIT"))) & (((is-fireable("t_107875_a77_SIGWINCH")) | (is-fireable("t_88921_a70_SIGTRAP"))) & ((is-fireable("t_1741_a53_SIGPROF")) | (is-fireable("t_23544_a64_SIGEMT")))))))) U (((! (E (X ((is-fireable("t_126235_a35_SIGIOT")) | (is-fireable("t_44125_a3_SIGURG")))))) & (! (((! (is-fireable("t_45028_a98_SIGINT"))) | ((is-fireable("t_53231_a57_SIGHUP")) | (is-fireable("t_78634_a30_SIGXFSZ")))) | ((A (X (is-fireable("t_68613_a20_SIGSYS")))) | (is-fireable("t_3028_a102_SIGSYS")))))) & (E (X ((E (F (is-fireable("t_122606_a37_SIGTERM")))) & (A ((is-fireable("t_23333_a64_SIGEMT")) U (is-fireable("t_69078_a20_SIGSYS"))))))))))
   end.
Property RERS17pb115-PT-8-CTLFireability-2025-07
   "Automatically generated by Citili v2025"
   is:
      ! (E ((E (F ((is-fireable("t_132207_a47_SIGILL")) | (E ((! (is-fireable("t_119953_a28_SIGCONT"))) U ((is-fireable("t_22409_a64_SIGEMT")) & (is-fireable("t_13216_a76_SIGSTOP")))))))) U (((is-fireable("t_29939_a119_SIGQUIT")) | (E (X (E (F (is-fireable("t_28640_a119_SIGQUIT"))))))) | ((E (G (((is-fireable("t_10572_a34_SIGSTOP")) & (is-fireable("t_44816_a98_SIGINT"))) & (! (is-fireable("t_138906_a1_SIGSYS")))))) | (((((is-fireable("t_93412_a38_SIGPROF")) | (is-fireable("t_100729_a32_SIGUSR1"))) | (is-fireable("t_33205_a97_SIGFPE"))) | ((E ((is-fireable("t_111443_a73_SIGFPE")) U (is-fireable("t_38641_a59_SIGABRT")))) & ((is-fireable("t_46423_a109_SIGSYS")) & (is-fireable("t_126441_a35_SIGIOT"))))) & ((E (F (is-fireable("t_54530_a57_SIGHUP")))) | (is-fireable("t_70116_a87_SIGPROF"))))))))
   end.
Property RERS17pb115-PT-8-CTLFireability-2025-08
   "Automatically generated by Citili v2025"
   is:
      A (G (E (F ((! ((is-fireable("t_73030_a87_SIGPROF")) & (A (F (is-fireable("t_26325_a86_SIGHUP")))))) | (is-fireable("t_64809_a105_SIGABRT"))))))
   end.
Property RERS17pb115-PT-8-CTLFireability-2025-09
   "Automatically generated by Citili v2025"
   is:
      A (G (E (F (A ((! (E (G (is-fireable("t_136177_a10_SIGKILL"))))) U ((is-fireable("t_133043_a47_SIGILL")) & ((E (X (is-fireable("t_23045_a64_SIGEMT")))) & (E (G (is-fireable("t_68502_a20_SIGSYS")))))))))))
   end.
Property RERS17pb115-PT-8-CTLFireability-2025-10
   "Automatically generated by Citili v2025"
   is:
      ((A (F (is-fireable("t_96601_a85_SIGIOT")))) | (A (X (is-fireable("t_127074_a93_SIGURG"))))) | (! (A ((A ((E (G (! (is-fireable("t_56147_a24_SIGURG"))))) U (is-fireable("t_90034_a70_SIGTRAP")))) U (A (X (A (((is-fireable("t_64987_a105_SIGABRT")) & (is-fireable("t_73857_a87_SIGPROF"))) U ((is-fireable("t_137058_a6_SIGINFO")) | (is-fireable("t_81725_a26_SIGILL"))))))))))
   end.
Property RERS17pb115-PT-8-CTLFireability-2025-11
   "Automatically generated by Citili v2025"
   is:
      (A ((A ((E (X (! ((is-fireable("t_91376_a9_SIGPROF")) & (is-fireable("t_137398_a6_SIGINFO")))))) U (((E (F (is-fireable("t_25102_a86_SIGHUP")))) | ((A (G (is-fireable("t_33082_a66_SIGQUIT")))) | ((is-fireable("t_87412_a117_SIGVTALRM")) & (is-fireable("t_120762_a28_SIGCONT"))))) & ((is-fireable("t_130879_a50_SIGWINCH")) & ((E (X (is-fireable("t_77107_a91_SIGPROF")))) & (E (X (is-fireable("t_17442_a92_SIGCHLD"))))))))) U (is-fireable("t_6976_a104_SIGHUP")))) | (E ((((E (G (! (is-fireable("t_81174_a26_SIGILL"))))) | ((E ((! (is-fireable("t_84886_a15_SIGKILL"))) U (E (F (is-fireable("t_80868_a26_SIGILL")))))) | (! ((! (is-fireable("t_26204_a86_SIGHUP"))) | (A ((is-fireable("t_49098_a109_SIGSYS")) U (is-fireable("t_114141_a100_SIGXFSZ")))))))) | (is-fireable("t_112781_a73_SIGFPE"))) U (E (G ((is-fireable("t_47886_a109_SIGSYS")) | (is-fireable("t_118678_a28_SIGCONT")))))))
   end.
Property RERS17pb115-PT-8-CTLFireability-12
   "Automatically generated by Citili v2023"
   is:
      E (F (((! (is-fireable("t_41920_a59_SIGABRT"))) & ((E (F (! (A (X (is-fireable("t_134547_a4_SIGQUIT"))))))) | (is-fireable("t_45658_a109_SIGSYS")))) & ((! ((E (X (A (X (is-fireable("t_39297_a59_SIGABRT")))))) | (is-fireable("t_46373_a109_SIGSYS")))) & (E (F (A ((is-fireable("t_108109_a77_SIGWINCH")) U (E (G (is-fireable("t_88012_a36_SIGCONT")))))))))))
   end.
Property RERS17pb115-PT-8-CTLFireability-13
   "Automatically generated by Citili v2023"
   is:
      ! (E (F (((A (G ((! (is-fireable("t_33171_a97_SIGFPE"))) | (E (G (is-fireable("t_67823_a20_SIGSYS"))))))) | (is-fireable("t_16230_a92_SIGCHLD"))) & (A (X (is-fireable("t_47689_a109_SIGSYS")))))))
   end.
Property RERS17pb115-PT-8-CTLFireability-14
   "Automatically generated by Citili v2023"
   is:
      ((E ((! ((((is-fireable("t_134163_a4_SIGQUIT")) & (is-fireable("t_14620_a92_SIGCHLD"))) & (A (G (is-fireable("t_134658_a4_SIGQUIT"))))) | (is-fireable("t_89805_a70_SIGTRAP")))) U (A (G (A (F ((is-fireable("t_60880_a114_SIGBUS")) | (is-fireable("t_44942_a98_SIGINT"))))))))) | (A (F (is-fireable("t_7222_a104_SIGHUP"))))) & (E (X ((A (X (E (X ((is-fireable("t_99554_a85_SIGIOT")) | (is-fireable("t_30441_a119_SIGQUIT"))))))) | (E (F (! ((E (X (is-fireable("t_14138_a92_SIGCHLD")))) | (A (F (is-fireable("t_32808_a31_SIGQUIT")))))))))))
   end.
Property RERS17pb115-PT-8-CTLFireability-15
   "Automatically generated by Citili v2023"
   is:
      (A (X (((((E (F (is-fireable("t_12303_a7_SIGPIPE")))) & (! ((is-fireable("t_42447_a58_SIGHUP")) & (is-fireable("t_12759_a76_SIGSTOP"))))) | (A (G (A ((is-fireable("t_3579_a54_SIGTTOU")) U (is-fireable("t_97495_a85_SIGIOT"))))))) & (! (((is-fireable("t_9974_a34_SIGSTOP")) & (E (X (is-fireable("t_50331_a107_SIGKILL"))))) | ((E (F (is-fireable("t_15878_a92_SIGCHLD")))) & (! (is-fireable("t_65581_a105_SIGABRT"))))))) & ((! (A (G (is-fireable("t_68744_a20_SIGSYS"))))) & (E (X (! (is-fireable("t_70195_a87_SIGPROF"))))))))) & (E (F (E ((! ((is-fireable("t_97027_a85_SIGIOT")) | (is-fireable("t_47554_a109_SIGSYS")))) U (E (F (A (X (is-fireable("t_124748_a35_SIGIOT"))))))))))
   end.
