Property RERS17pb114-PT-5-CTLFireability-00
   "Automatically generated by Citili v2022"
   is:
      E (((! ((! (! (E ((is-fireable("t_78402_a30_SIGBUS")) U (is-fireable("t_75836_a114_SIGUSR1")))))) & (E (X (is-fireable("t_76576_a114_SIGUSR1")))))) | (E (F (is-fireable("t_28472_a76_SIGILL"))))) U ((! (is-fireable("t_69901_a100_SIGBUS"))) & ((! (! ((is-fireable("t_88488_a83_SIGUSR2")) | ((E (F (is-fireable("t_37185_a25_SIGINFO")))) & ((is-fireable("t_122694_a102_SIGTERM")) | (is-fireable("t_111246_a62_SIGTRAP"))))))) & (((! ((is-fireable("t_92951_a91_SIGPIPE")) | (E (F (is-fireable("t_69157_a23_SIGHUP")))))) & ((((is-fireable("t_87581_a83_SIGUSR2")) | (is-fireable("t_125544_a88_SIGPWR"))) & (E (F (is-fireable("t_147353_a119_SIGSTOP"))))) & (is-fireable("t_36412_a75_SIGUSR2")))) & (is-fireable("t_110636_a62_SIGTRAP"))))))
   end.
Property RERS17pb114-PT-5-CTLFireability-01
   "Automatically generated by Citili v2022"
   is:
      ! (E (((! (E (X (! ((is-fireable("t_145170_a6_SIGSEGV")) & (is-fireable("t_126493_a71_SIGVTALRM"))))))) & (is-fireable("t_36339_a75_SIGUSR2"))) U (! (E ((! (is-fireable("t_116299_a96_SIGABRT"))) U (E ((! (is-fireable("t_144159_a2_SIGLOST"))) U ((is-fireable("t_74125_a24_SIGCHLD")) & (is-fireable("t_111037_a62_SIGTRAP"))))))))))
   end.
Property RERS17pb114-PT-5-CTLFireability-02
   "Automatically generated by Citili v2022"
   is:
      A ((! ((E (X (((A (X (is-fireable("t_76203_a114_SIGUSR1")))) | (E ((is-fireable("t_60057_a29_SIGPROF")) U (is-fireable("t_89492_a95_SIGEMT"))))) | (E (X (is-fireable("t_7946_a59_SIGUSR1"))))))) & (A (F (A (X (! (is-fireable("t_143431_a2_SIGLOST"))))))))) U (E (X (! (! (! ((E (X (is-fireable("t_132702_a84_SIGINT")))) | (! (is-fireable("t_105685_a82_SIGBUS"))))))))))
   end.
Property RERS17pb114-PT-5-CTLFireability-03
   "Automatically generated by Citili v2022"
   is:
      A (F (E (F (((is-fireable("t_109100_a15_SIGPOLL")) & (is-fireable("t_60826_a26_SIGCHLD"))) | (is-fireable("t_86161_a37_SIGFPE"))))))
   end.
Property RERS17pb114-PT-5-CTLFireability-04
   "Automatically generated by Citili v2022"
   is:
      A (G (A ((A (G (E (G (is-fireable("t_127182_a71_SIGVTALRM")))))) U ((E (X (E (G (is-fireable("t_2912_a56_SIGPWR")))))) | ((E (F (is-fireable("t_131095_a21_SIGINFO")))) | (A (F ((is-fireable("t_128354_a53_SIGLOST")) | (is-fireable("t_102371_a51_SIGPWR"))))))))))
   end.
Property RERS17pb114-PT-5-CTLFireability-05
   "Automatically generated by Citili v2022"
   is:
      E (F (A ((A (F (is-fireable("t_88643_a83_SIGUSR2")))) U (A ((A (X (A ((is-fireable("t_111359_a62_SIGTRAP")) U (is-fireable("t_23161_a93_SIGTRAP")))))) U (((is-fireable("t_6659_a59_SIGUSR1")) | ((is-fireable("t_135113_a84_SIGINT")) | (is-fireable("t_35097_a75_SIGUSR2")))) & (E (G (is-fireable("t_94857_a22_SIGSTOP"))))))))))
   end.
Property RERS17pb114-PT-5-CTLFireability-06
   "Automatically generated by Citili v2022"
   is:
      (E (F (is-fireable("t_54741_a18_SIGTERM")))) | (A (G (A (G ((is-fireable("t_121103_a102_SIGTERM")) | (A ((E (X (is-fireable("t_81277_a4_SIGTSTP")))) U ((is-fireable("t_145183_a6_SIGSEGV")) & (is-fireable("t_108663_a15_SIGPOLL"))))))))))
   end.
Property RERS17pb114-PT-5-CTLFireability-07
   "Automatically generated by Citili v2022"
   is:
      ! ((A (G ((E ((A (X (is-fireable("t_10176_a17_SIGPROF")))) U (((is-fireable("t_88216_a83_SIGUSR2")) | (is-fireable("t_5665_a33_SIGKILL"))) & ((is-fireable("t_14064_a101_SIGUSR2")) | (is-fireable("t_69233_a23_SIGHUP")))))) | ((is-fireable("t_52755_a42_SIGDEADLK")) | (A (G (! (is-fireable("t_31926_a109_SIGTRAP"))))))))) & (! (! (E ((! ((! (is-fireable("t_53254_a18_SIGTERM"))) | ((is-fireable("t_147797_a61_SIGHUP")) | (is-fireable("t_9837_a17_SIGPROF"))))) U (! (E (X (is-fireable("t_41271_a107_SIGPWR"))))))))))
   end.
Property RERS17pb114-PT-5-CTLFireability-08
   "Automatically generated by Citili v2022"
   is:
      ! (((A (((is-fireable("t_133296_a84_SIGINT")) & ((is-fireable("t_75706_a114_SIGUSR1")) & (A (F (is-fireable("t_39054_a25_SIGINFO")))))) U (E (G (! ((is-fireable("t_39861_a110_SIGINT")) | (is-fireable("t_85262_a38_SIGFPE")))))))) | ((A (F ((! (! (is-fireable("t_69105_a23_SIGHUP")))) & ((is-fireable("t_1614_a99_SIGILL")) | (! (is-fireable("t_53323_a18_SIGTERM"))))))) & (A ((is-fireable("t_78115_a30_SIGBUS")) U (is-fireable("t_139209_a27_SIGALRM")))))) | (A ((is-fireable("t_107375_a15_SIGPOLL")) U ((E (((E (F (is-fireable("t_48350_a87_SIGALRM")))) | (is-fireable("t_119780_a97_SIGFPE"))) U (E (X (is-fireable("t_146924_a119_SIGSTOP")))))) & ((((A ((is-fireable("t_139041_a27_SIGALRM")) U (is-fireable("t_11464_a111_SIGTTOU")))) | (is-fireable("t_66840_a23_SIGHUP"))) | (E (X (is-fireable("t_129328_a21_SIGINFO"))))) & ((((is-fireable("t_48390_a87_SIGALRM")) | (is-fireable("t_87973_a83_SIGUSR2"))) | (! (is-fireable("t_40398_a39_SIGPROF")))) | (A (F (is-fireable("t_116403_a96_SIGABRT"))))))))))
   end.
Property RERS17pb114-PT-5-CTLFireability-09
   "Automatically generated by Citili v2022"
   is:
      E ((! (E (G (E (X (((is-fireable("t_78465_a30_SIGBUS")) | (is-fireable("t_82715_a4_SIGTSTP"))) | (E (G (is-fireable("t_113448_a89_SIGUSR2")))))))))) U (is-fireable("t_79936_a4_SIGTSTP")))
   end.
Property RERS17pb114-PT-5-CTLFireability-10
   "Automatically generated by Citili v2022"
   is:
      ((A ((A (((A (G (is-fireable("t_43541_a117_SIGPWR")))) & ((A (F (is-fireable("t_25700_a93_SIGTRAP")))) & (A ((is-fireable("t_99581_a51_SIGPWR")) U (is-fireable("t_98860_a51_SIGPWR")))))) U (((A (X (is-fireable("t_48580_a87_SIGALRM")))) & (E (X (is-fireable("t_26539_a76_SIGILL"))))) & (! ((is-fireable("t_25975_a93_SIGTRAP")) | (is-fireable("t_95413_a22_SIGSTOP"))))))) U (! (((A (X (is-fireable("t_14299_a101_SIGUSR2")))) & (A (F (is-fireable("t_33391_a78_SIGSYS"))))) | (A (G (A (F (is-fireable("t_65935_a23_SIGHUP")))))))))) & (! (E (X ((E (F (is-fireable("t_118554_a72_SIGTERM")))) | (is-fireable("t_34972_a75_SIGUSR2"))))))) | (A ((E (F (((((is-fireable("t_7921_a59_SIGUSR1")) & (is-fireable("t_48724_a87_SIGALRM"))) | (A (F (is-fireable("t_148228_a73_SIGURG"))))) & (is-fireable("t_27453_a76_SIGILL"))) & ((! (is-fireable("t_46332_a87_SIGALRM"))) | (A (F (is-fireable("t_70484_a100_SIGBUS")))))))) U ((((A (G ((is-fireable("t_10922_a111_SIGTTOU")) | (is-fireable("t_94289_a22_SIGSTOP"))))) & (E (X ((is-fireable("t_26157_a93_SIGTRAP")) | (is-fireable("t_148618_a73_SIGURG")))))) | (is-fireable("t_17182_a40_SIGUSR1"))) & (E ((E (X (E (X (is-fireable("t_44358_a117_SIGPWR")))))) U ((! (is-fireable("t_33075_a46_SIGBUS"))) & (((is-fireable("t_56872_a3_SIGKILL")) | (is-fireable("t_86693_a113_SIGCHLD"))) & (A (F (is-fireable("t_127074_a71_SIGVTALRM")))))))))))
   end.
Property RERS17pb114-PT-5-CTLFireability-11
   "Automatically generated by Citili v2022"
   is:
      (A ((A ((A (G (A (X (is-fireable("t_131724_a84_SIGINT")))))) U (! ((is-fireable("t_134930_a84_SIGINT")) & (E ((is-fireable("t_72402_a24_SIGCHLD")) U (is-fireable("t_22299_a92_SIGSTOP")))))))) U (! (! (A (F (E (F (is-fireable("t_57311_a34_SIGTSTP")))))))))) | (! (A (X (! (A ((E (G (is-fireable("t_65597_a23_SIGHUP")))) U (is-fireable("t_32993_a46_SIGBUS"))))))))
   end.
Property RERS17pb114-PT-5-CTLFireability-12
   "Automatically generated by Citili v2022"
   is:
      E ((is-fireable("t_141350_a90_SIGINFO")) U (A (F ((A ((((is-fireable("t_92694_a91_SIGPIPE")) | (is-fireable("t_67293_a23_SIGHUP"))) & (is-fireable("t_64677_a64_SIGVTALRM"))) U (E ((is-fireable("t_15592_a10_SIGTSTP")) U (is-fireable("t_43720_a117_SIGPWR")))))) | (((is-fireable("t_716_a99_SIGILL")) & (A ((is-fireable("t_111442_a68_SIGINFO")) U (is-fireable("t_94657_a22_SIGSTOP"))))) & (E (F (E (F (is-fireable("t_2745_a56_SIGPWR")))))))))))
   end.
Property RERS17pb114-PT-5-CTLFireability-13
   "Automatically generated by Citili v2022"
   is:
      A (G (! (A (G (A ((A (G (is-fireable("t_7508_a59_SIGUSR1")))) U (! ((is-fireable("t_10801_a35_SIGSTOP")) & (is-fireable("t_84706_a41_SIGSEGV"))))))))))
   end.
Property RERS17pb114-PT-5-CTLFireability-14
   "Automatically generated by Citili v2022"
   is:
      E (G (A ((! (! (((! (is-fireable("t_137997_a14_SIGDEADLK"))) & (E (G (is-fireable("t_126971_a71_SIGVTALRM"))))) | (A (F (is-fireable("t_68157_a23_SIGHUP"))))))) U (((E (F ((is-fireable("t_123709_a102_SIGTERM")) | (is-fireable("t_9929_a17_SIGPROF"))))) & (A (((is-fireable("t_26233_a93_SIGTRAP")) | (is-fireable("t_39050_a25_SIGINFO"))) U (is-fireable("t_9582_a17_SIGPROF"))))) | (is-fireable("t_29206_a109_SIGTRAP"))))))
   end.
Property RERS17pb114-PT-5-CTLFireability-15
   "Automatically generated by Citili v2022"
   is:
      E (F (! (! (E (G (is-fireable("t_82163_a4_SIGTSTP")))))))
   end.
