Property RERS17pb115-PT-8-CTLFireability-00
   "Automatically generated by Citili v2022"
   is:
      E (F (is-fireable("t_25554_a86_SIGHUP")))
   end.
Property RERS17pb115-PT-8-CTLFireability-01
   "Automatically generated by Citili v2022"
   is:
      E (G (E (X (! (is-fireable("t_131503_a47_SIGILL"))))))
   end.
Property RERS17pb115-PT-8-CTLFireability-02
   "Automatically generated by Citili v2022"
   is:
      ! ((E (X ((E (X (E (F (is-fireable("t_81941_a26_SIGILL")))))) | (A ((! (E ((is-fireable("t_6842_a104_SIGHUP")) U (is-fireable("t_85641_a15_SIGKILL"))))) U ((E (F (is-fireable("t_35855_a14_SIGTSTP")))) | ((is-fireable("t_72998_a87_SIGPROF")) & (is-fireable("t_118560_a28_SIGCONT"))))))))) & (! (! (A (F (A ((E (X (is-fireable("t_51501_a57_SIGHUP")))) U ((is-fireable("t_22792_a64_SIGEMT")) & (is-fireable("t_98988_a85_SIGIOT"))))))))))
   end.
Property RERS17pb115-PT-8-CTLFireability-03
   "Automatically generated by Citili v2022"
   is:
      A ((A ((! ((A (((is-fireable("t_132272_a47_SIGILL")) | (is-fireable("t_99245_a85_SIGIOT"))) U (E (X (is-fireable("t_18467_a25_SIGURG")))))) | (E (X (E ((is-fireable("t_115369_a100_SIGXFSZ")) U (is-fireable("t_46764_a109_SIGSYS")))))))) U (((E (G (A ((is-fireable("t_42666_a58_SIGHUP")) U (is-fireable("t_28698_a119_SIGQUIT")))))) | (E (F ((is-fireable("t_89377_a70_SIGTRAP")) & (is-fireable("t_113202_a73_SIGFPE")))))) | (A ((! ((is-fireable("t_122002_a37_SIGTERM")) | (is-fireable("t_81283_a26_SIGILL")))) U (is-fireable("t_134608_a4_SIGQUIT"))))))) U (A (F (A (F (is-fireable("t_66060_a20_SIGSYS")))))))
   end.
Property RERS17pb115-PT-8-CTLFireability-04
   "Automatically generated by Citili v2022"
   is:
      (A ((A (F (A (G (! (! (is-fireable("t_44915_a98_SIGINT")))))))) U (! (! ((! ((A ((is-fireable("t_9029_a34_SIGSTOP")) U (is-fireable("t_99126_a85_SIGIOT")))) | (A ((is-fireable("t_28704_a119_SIGQUIT")) U (is-fireable("t_39425_a59_SIGABRT")))))) | ((((is-fireable("t_79388_a113_SIGLOST")) & (is-fireable("t_34783_a14_SIGTSTP"))) | (is-fireable("t_132493_a47_SIGILL"))) & ((E ((is-fireable("t_10833_a34_SIGSTOP")) U (is-fireable("t_130963_a50_SIGWINCH")))) & (E ((is-fireable("t_142990_a115_SIGSEGV")) U (is-fireable("t_115580_a100_SIGXFSZ"))))))))))) & (A (F (E (F (((E (G (is-fireable("t_30843_a119_SIGQUIT")))) | (A (G (is-fireable("t_99191_a85_SIGIOT"))))) | (E (G (! (is-fireable("t_138075_a17_SIGIOT"))))))))))
   end.
Property RERS17pb115-PT-8-CTLFireability-05
   "Automatically generated by Citili v2022"
   is:
      A (F (E (X (E (X (is-fireable("t_2871_a102_SIGSYS")))))))
   end.
Property RERS17pb115-PT-8-CTLFireability-06
   "Automatically generated by Citili v2022"
   is:
      A (((E (F (E (F (A (X (is-fireable("t_80240_a26_SIGILL")))))))) | (! (A (((((is-fireable("t_136573_a6_SIGINFO")) & (is-fireable("t_51758_a57_SIGHUP"))) | (E (F (is-fireable("t_109377_a103_SIGWINCH"))))) | (E ((is-fireable("t_128020_a93_SIGURG")) U (is-fireable("t_78691_a30_SIGXFSZ"))))) U (A (F (is-fireable("t_142204_a16_SIGALRM")))))))) U (is-fireable("t_131528_a47_SIGILL")))
   end.
Property RERS17pb115-PT-8-CTLFireability-07
   "Automatically generated by Citili v2022"
   is:
      A (F (E (X (E ((A (F (! (is-fireable("t_129184_a95_SIGEMT"))))) U (is-fireable("t_6111_a104_SIGHUP")))))))
   end.
Property RERS17pb115-PT-8-CTLFireability-08
   "Automatically generated by Citili v2022"
   is:
      E (X (E ((is-fireable("t_101077_a32_SIGUSR1")) U (A (F (((E ((is-fireable("t_142468_a115_SIGSEGV")) U (is-fireable("t_60608_a78_SIGQUIT")))) & (! (is-fireable("t_125680_a35_SIGIOT")))) & (((is-fireable("t_69345_a20_SIGSYS")) | (is-fireable("t_40198_a59_SIGABRT"))) | (is-fireable("t_132145_a47_SIGILL")))))))))
   end.
Property RERS17pb115-PT-8-CTLFireability-09
   "Automatically generated by Citili v2022"
   is:
      E (X (E (F (E (G (E (((is-fireable("t_133014_a47_SIGILL")) & (is-fireable("t_91008_a5_SIGUSR2"))) U (! (is-fireable("t_6076_a104_SIGHUP"))))))))))
   end.
Property RERS17pb115-PT-8-CTLFireability-10
   "Automatically generated by Citili v2022"
   is:
      ! (A ((! (is-fireable("t_48628_a109_SIGSYS"))) U (is-fireable("t_106155_a22_SIGUSR1"))))
   end.
Property RERS17pb115-PT-8-CTLFireability-11
   "Automatically generated by Citili v2022"
   is:
      (! (A (F (is-fireable("t_110118_a73_SIGFPE"))))) | (! (E ((A (F (E (F ((is-fireable("t_1437_a8_SIGTTIN")) | (is-fireable("t_60262_a78_SIGQUIT"))))))) U (E (((is-fireable("t_14159_a92_SIGCHLD")) & (is-fireable("t_137413_a6_SIGINFO"))) U (! (E (F (is-fireable("t_123228_a35_SIGIOT"))))))))))
   end.
Property RERS17pb115-PT-8-CTLFireability-12
   "Automatically generated by Citili v2022"
   is:
      E (((A (X (! (E ((A (G (is-fireable("t_27035_a86_SIGHUP")))) U ((is-fireable("t_43864_a3_SIGURG")) & (is-fireable("t_55890_a24_SIGURG")))))))) & ((is-fireable("t_25423_a86_SIGHUP")) | ((E ((E (F (is-fireable("t_88193_a36_SIGCONT")))) U (E (F (is-fireable("t_47405_a109_SIGSYS")))))) | (((E (F (is-fireable("t_109748_a73_SIGFPE")))) | (is-fireable("t_14050_a92_SIGCHLD"))) | ((! ((is-fireable("t_90473_a70_SIGTRAP")) & (is-fireable("t_132049_a47_SIGILL")))) | (((is-fireable("t_18408_a25_SIGURG")) & (is-fireable("t_9498_a34_SIGSTOP"))) & (is-fireable("t_78081_a91_SIGPROF")))))))) U ((A (G (is-fireable("t_95416_a51_SIGINFO")))) & ((A (G (E ((! (is-fireable("t_130850_a50_SIGWINCH"))) U (is-fireable("t_109727_a73_SIGFPE")))))) | (E (X ((is-fireable("t_7945_a34_SIGSTOP")) & (A (X (is-fireable("t_79546_a101_SIGVTALRM"))))))))))
   end.
Property RERS17pb115-PT-8-CTLFireability-13
   "Automatically generated by Citili v2022"
   is:
      E ((A (F (((A (X ((is-fireable("t_12232_a7_SIGPIPE")) | (is-fireable("t_86004_a15_SIGKILL"))))) & (! ((E (X (is-fireable("t_62162_a105_SIGABRT")))) | (A (X (is-fireable("t_79238_a113_SIGLOST"))))))) & (! (is-fireable("t_57864_a24_SIGURG")))))) U (A ((E (F (is-fireable("t_144221_a115_SIGSEGV")))) U ((E ((E (G (is-fireable("t_97690_a85_SIGIOT")))) U ((E (X (is-fireable("t_20180_a60_SIGIOT")))) & ((is-fireable("t_111691_a73_SIGFPE")) | (is-fireable("t_34142_a97_SIGFPE")))))) & (is-fireable("t_27487_a86_SIGHUP"))))))
   end.
Property RERS17pb115-PT-8-CTLFireability-14
   "Automatically generated by Citili v2022"
   is:
      (A (((! (is-fireable("t_56601_a24_SIGURG"))) & ((((E ((is-fireable("t_130729_a50_SIGWINCH")) U (is-fireable("t_60215_a78_SIGQUIT")))) | (is-fireable("t_143387_a115_SIGSEGV"))) | (A (X (is-fireable("t_73793_a87_SIGPROF"))))) & (is-fireable("t_60129_a78_SIGQUIT")))) U (! ((((((is-fireable("t_89735_a70_SIGTRAP")) & (is-fireable("t_106806_a106_SIGUSR1"))) | (E (G (is-fireable("t_55314_a57_SIGHUP"))))) | (! (A (G (is-fireable("t_11411_a34_SIGSTOP")))))) | (! (E (G (is-fireable("t_61545_a114_SIGBUS")))))) | (((! (! (is-fireable("t_19690_a2_SIGUSR1")))) | (! (A ((is-fireable("t_1698_a53_SIGPROF")) U (is-fireable("t_139828_a1_SIGSYS")))))) & (is-fireable("t_43315_a52_SIGCONT"))))))) | (E (F (A (X ((A (G (E (F (is-fireable("t_98811_a85_SIGIOT")))))) & (is-fireable("t_53855_a57_SIGHUP")))))))
   end.
Property RERS17pb115-PT-8-CTLFireability-15
   "Automatically generated by Citili v2022"
   is:
      A ((is-fireable("t_49999_a88_SIGVTALRM")) U (E (F (is-fireable("t_22926_a64_SIGEMT")))))
   end.
