Property RERS17pb114-PT-2-CTLFireability-00
   "Automatically generated by Citili v2022"
   is:
      (A (X (A (F (((E ((is-fireable("t_74220_a24_SIGCHLD")) U (is-fireable("t_144690_a6_SIGSEGV")))) | (A (G (is-fireable("t_39081_a25_SIGINFO"))))) | (is-fireable("t_10484_a35_SIGSTOP"))))))) | (E (G (! (E (X (is-fireable("t_109932_a62_SIGTRAP")))))))
   end.
Property RERS17pb114-PT-2-CTLFireability-01
   "Automatically generated by Citili v2022"
   is:
      E (F (! (A (X (E (G ((! (is-fireable("t_17530_a40_SIGUSR1"))) & (E (F (is-fireable("t_81611_a4_SIGTSTP")))))))))))
   end.
Property RERS17pb114-PT-2-CTLFireability-02
   "Automatically generated by Citili v2022"
   is:
      A ((is-fireable("t_121098_a102_SIGTERM")) U (E (G (A (X (! (is-fireable("t_60847_a26_SIGCHLD"))))))))
   end.
Property RERS17pb114-PT-2-CTLFireability-03
   "Automatically generated by Citili v2022"
   is:
      ((E (((E (G (A (F (is-fireable("t_117616_a96_SIGABRT")))))) & (is-fireable("t_115993_a96_SIGABRT"))) U (! (! (A ((! (is-fireable("t_106496_a82_SIGBUS"))) U (! (is-fireable("t_65733_a23_SIGHUP"))))))))) | (A (X ((A (X (is-fireable("t_4176_a33_SIGKILL")))) | ((((E (F (is-fireable("t_145769_a119_SIGSTOP")))) & (! (is-fireable("t_17629_a40_SIGUSR1")))) | (! ((is-fireable("t_110224_a62_SIGTRAP")) | (is-fireable("t_89551_a95_SIGEMT"))))) & (is-fireable("t_92824_a91_SIGPIPE"))))))) & (A (F (is-fireable("t_62179_a26_SIGCHLD"))))
   end.
Property RERS17pb114-PT-2-CTLFireability-04
   "Automatically generated by Citili v2022"
   is:
      E (G ((E ((E ((A (F (is-fireable("t_59046_a34_SIGTSTP")))) U (! (E ((is-fireable("t_10838_a35_SIGSTOP")) U (is-fireable("t_39959_a110_SIGINT"))))))) U (A (F (! ((is-fireable("t_135452_a19_SIGSYS")) & (is-fireable("t_130958_a21_SIGINFO")))))))) | (A (F ((is-fireable("t_120041_a102_SIGTERM")) & (E (F (! (is-fireable("t_64134_a26_SIGCHLD"))))))))))
   end.
Property RERS17pb114-PT-2-CTLFireability-05
   "Automatically generated by Citili v2022"
   is:
      E (G (! ((E (((! ((is-fireable("t_133092_a84_SIGINT")) | (is-fireable("t_101975_a51_SIGPWR")))) & (A (F (is-fireable("t_112235_a89_SIGUSR2"))))) U (! (! (! (is-fireable("t_73445_a24_SIGCHLD"))))))) & (E (X (E (F (A (F (is-fireable("t_122430_a102_SIGTERM")))))))))))
   end.
Property RERS17pb114-PT-2-CTLFireability-06
   "Automatically generated by Citili v2022"
   is:
      ! (A (F (((E (X ((is-fireable("t_84407_a41_SIGSEGV")) | (A (G (is-fireable("t_137297_a14_SIGDEADLK"))))))) | ((! (! (is-fireable("t_83098_a5_SIGHUP")))) | (((! (is-fireable("t_22794_a93_SIGTRAP"))) & (A ((is-fireable("t_78883_a4_SIGTSTP")) U (is-fireable("t_26778_a76_SIGILL"))))) | (((is-fireable("t_140638_a90_SIGINFO")) & (is-fireable("t_98475_a51_SIGPWR"))) | (is-fireable("t_133171_a84_SIGINT")))))) | (E (F (A (F ((is-fireable("t_56563_a3_SIGKILL")) | (is-fireable("t_103688_a58_SIGTERM"))))))))))
   end.
Property RERS17pb114-PT-2-CTLFireability-07
   "Automatically generated by Citili v2022"
   is:
      A (G ((E (G (! (is-fireable("t_101101_a51_SIGPWR"))))) | ((E (F (((! (is-fireable("t_33024_a46_SIGBUS"))) & (is-fireable("t_35881_a75_SIGUSR2"))) | ((E (G (is-fireable("t_12683_a111_SIGTTOU")))) & (! (is-fireable("t_106856_a82_SIGBUS"))))))) | (! (E (X (is-fireable("t_1283_a99_SIGILL"))))))))
   end.
Property RERS17pb114-PT-2-CTLFireability-08
   "Automatically generated by Citili v2022"
   is:
      A (F ((is-fireable("t_9380_a17_SIGPROF")) & (((A (X (is-fireable("t_51055_a42_SIGDEADLK")))) | (is-fireable("t_77920_a30_SIGBUS"))) | (((A (X (is-fireable("t_47666_a87_SIGALRM")))) | (! (E (F (is-fireable("t_46663_a87_SIGALRM")))))) | ((is-fireable("t_74232_a24_SIGCHLD")) & (! (((is-fireable("t_78452_a30_SIGBUS")) & (is-fireable("t_148800_a73_SIGURG"))) | (A (X (is-fireable("t_46222_a117_SIGPWR")))))))))))
   end.
Property RERS17pb114-PT-2-CTLFireability-09
   "Automatically generated by Citili v2022"
   is:
      A ((E (F (is-fireable("t_20124_a48_SIGDEADLK")))) U (((is-fireable("t_99481_a51_SIGPWR")) & (A ((E (G (E (F (is-fireable("t_57097_a34_SIGTSTP")))))) U (! (((is-fireable("t_9748_a17_SIGPROF")) & (is-fireable("t_140217_a90_SIGINFO"))) & ((is-fireable("t_80577_a4_SIGTSTP")) | (is-fireable("t_68628_a23_SIGHUP")))))))) & (A ((((E (G (is-fireable("t_118984_a72_SIGTERM")))) | (is-fireable("t_52982_a18_SIGTERM"))) | (E (G (! (is-fireable("t_8152_a59_SIGUSR1")))))) U (! (! (is-fireable("t_75385_a114_SIGUSR1"))))))))
   end.
Property RERS17pb114-PT-2-CTLFireability-10
   "Automatically generated by Citili v2022"
   is:
      E (F ((! (E (X (! (E ((is-fireable("t_2560_a56_SIGPWR")) U (is-fireable("t_80973_a4_SIGTSTP")))))))) & ((E ((! (is-fireable("t_81308_a4_SIGTSTP"))) U ((((is-fireable("t_108869_a15_SIGPOLL")) & (is-fireable("t_110967_a62_SIGTRAP"))) | (! (is-fireable("t_58023_a34_SIGTSTP")))) & (A (G (is-fireable("t_106849_a82_SIGBUS"))))))) | ((((E (G (is-fireable("t_22004_a92_SIGSTOP")))) | (! ((is-fireable("t_100356_a51_SIGPWR")) & (is-fireable("t_6827_a59_SIGUSR1"))))) & (! (((is-fireable("t_131357_a84_SIGINT")) & (is-fireable("t_128869_a53_SIGLOST"))) & (A ((is-fireable("t_120246_a102_SIGTERM")) U (is-fireable("t_140155_a90_SIGINFO"))))))) & ((! (E (G (is-fireable("t_20067_a9_SIGQUIT"))))) & (E (F (is-fireable("t_121036_a102_SIGTERM")))))))))
   end.
Property RERS17pb114-PT-2-CTLFireability-11
   "Automatically generated by Citili v2022"
   is:
      ! (E ((! (A (G ((E (G (is-fireable("t_31362_a109_SIGTRAP")))) | (E ((is-fireable("t_38684_a25_SIGINFO")) U (is-fireable("t_931_a99_SIGILL")))))))) U (E (G ((is-fireable("t_119931_a102_SIGTERM")) | (E (X (is-fireable("t_29270_a109_SIGTRAP")))))))))
   end.
Property RERS17pb114-PT-2-CTLFireability-12
   "Automatically generated by Citili v2022"
   is:
      (A (G (is-fireable("t_2501_a56_SIGPWR")))) | (A (G (E ((is-fireable("t_89181_a79_SIGURG")) U (A (((! (is-fireable("t_34241_a67_SIGCONT"))) | (A (G (is-fireable("t_49234_a87_SIGALRM"))))) U (is-fireable("t_83342_a112_SIGHUP"))))))))
   end.
Property RERS17pb114-PT-2-CTLFireability-13
   "Automatically generated by Citili v2022"
   is:
      ! (! (E ((E (X (! ((is-fireable("t_51443_a42_SIGDEADLK")) | (is-fireable("t_20921_a1_SIGSEGV")))))) U (A ((! (is-fireable("t_37185_a25_SIGINFO"))) U ((E (X (is-fireable("t_30460_a109_SIGTRAP")))) & ((A (G (is-fireable("t_31266_a109_SIGTRAP")))) | ((is-fireable("t_106658_a82_SIGBUS")) & (is-fireable("t_28375_a76_SIGILL"))))))))))
   end.
Property RERS17pb114-PT-2-CTLFireability-14
   "Automatically generated by Citili v2022"
   is:
      E (F (((! (is-fireable("t_33297_a78_SIGSYS"))) & (A (G ((! (is-fireable("t_2161_a56_SIGPWR"))) & (is-fireable("t_68703_a23_SIGHUP")))))) | (E (G ((A (((is-fireable("t_52529_a42_SIGDEADLK")) | (is-fireable("t_85083_a41_SIGSEGV"))) U (is-fireable("t_81389_a4_SIGTSTP")))) & (((! (is-fireable("t_52378_a42_SIGDEADLK"))) & (A (X (is-fireable("t_88138_a83_SIGUSR2"))))) | (((is-fireable("t_32026_a109_SIGTRAP")) & (is-fireable("t_100688_a51_SIGPWR"))) | ((is-fireable("t_121233_a102_SIGTERM")) | (is-fireable("t_49960_a87_SIGALRM"))))))))))
   end.
Property RERS17pb114-PT-2-CTLFireability-15
   "Automatically generated by Citili v2022"
   is:
      ! (E (X ((A ((E ((! (is-fireable("t_134424_a84_SIGINT"))) U (! (is-fireable("t_49876_a87_SIGALRM"))))) U (is-fireable("t_78528_a30_SIGBUS")))) & ((((is-fireable("t_113195_a89_SIGUSR2")) | ((A ((is-fireable("t_59796_a29_SIGPROF")) U (is-fireable("t_130753_a21_SIGINFO")))) & (A (X (is-fireable("t_104425_a58_SIGTERM")))))) | ((is-fireable("t_131033_a21_SIGINFO")) | (! (E (G (is-fireable("t_137632_a14_SIGDEADLK"))))))) & (! (is-fireable("t_117201_a96_SIGABRT")))))))
   end.
