Property RERS17pb115-PT-1-CTLFireability-00
   "Automatically generated by Citili v2022"
   is:
      A (F (A ((! (! (is-fireable("t_58870_a24_SIGURG")))) U (E (F (E (X ((is-fireable("t_72756_a87_SIGPROF")) | (is-fireable("t_63247_a105_SIGABRT"))))))))))
   end.
Property RERS17pb115-PT-1-CTLFireability-01
   "Automatically generated by Citili v2022"
   is:
      E (((! (((! (A ((is-fireable("t_124112_a35_SIGIOT")) U (is-fireable("t_2705_a102_SIGSYS"))))) | ((((is-fireable("t_77288_a91_SIGPROF")) | (is-fireable("t_60071_a78_SIGQUIT"))) & (A (G (is-fireable("t_24602_a86_SIGHUP"))))) | (! (! (is-fireable("t_5802_a104_SIGHUP")))))) & (! (! (A (X (is-fireable("t_97281_a85_SIGIOT")))))))) | (((A (X (is-fireable("t_102370_a19_SIGWINCH")))) | (A (F (E ((is-fireable("t_78555_a30_SIGXFSZ")) U (is-fireable("t_36145_a14_SIGTSTP"))))))) & (E (G ((is-fireable("t_142020_a75_SIGQUIT")) & (E (F (is-fireable("t_139473_a1_SIGSYS"))))))))) U (A (G (A (G ((((is-fireable("t_716_a13_SIGPIPE")) | (is-fireable("t_37725_a14_SIGTSTP"))) & (A ((is-fireable("t_31032_a119_SIGQUIT")) U (is-fireable("t_10346_a34_SIGSTOP"))))) | (! (! (is-fireable("t_125389_a35_SIGIOT"))))))))))
   end.
Property RERS17pb115-PT-1-CTLFireability-02
   "Automatically generated by Citili v2022"
   is:
      (E (X (! (A (G ((is-fireable("t_11789_a34_SIGSTOP")) | (is-fireable("t_45078_a98_SIGINT")))))))) & (A ((((A (G (A (X (is-fireable("t_23929_a86_SIGHUP")))))) & (! (is-fireable("t_126011_a35_SIGIOT")))) | (is-fireable("t_44243_a3_SIGURG"))) U (! (! (E (X ((E (F (is-fireable("t_35748_a14_SIGTSTP")))) | (A (F (is-fireable("t_115072_a100_SIGXFSZ")))))))))))
   end.
Property RERS17pb115-PT-1-CTLFireability-03
   "Automatically generated by Citili v2022"
   is:
      A (F (A ((A (G (! (A ((is-fireable("t_78551_a30_SIGXFSZ")) U (is-fireable("t_67548_a20_SIGSYS"))))))) U (A (((A (G (is-fireable("t_13189_a76_SIGSTOP")))) | (A ((is-fireable("t_123221_a35_SIGIOT")) U (is-fireable("t_20565_a67_SIGALRM"))))) U (is-fireable("t_128986_a93_SIGURG")))))))
   end.
Property RERS17pb115-PT-1-CTLFireability-04
   "Automatically generated by Citili v2022"
   is:
      A (G (((((! (E (F (is-fireable("t_89058_a70_SIGTRAP"))))) & (! ((A ((is-fireable("t_139662_a1_SIGSYS")) U (is-fireable("t_134009_a4_SIGQUIT")))) | (! (is-fireable("t_74788_a108_SIGUSR2")))))) | (((E (G (is-fireable("t_112684_a73_SIGFPE")))) & (is-fireable("t_97272_a85_SIGIOT"))) & (! (is-fireable("t_59661_a24_SIGURG"))))) | ((! (A ((! (is-fireable("t_70849_a87_SIGPROF"))) U (is-fireable("t_44635_a112_SIGPWR"))))) | (E (F (is-fireable("t_17278_a92_SIGCHLD")))))) | (E (X ((E (((is-fireable("t_38444_a59_SIGABRT")) | (is-fireable("t_80565_a26_SIGILL"))) U ((is-fireable("t_61491_a114_SIGBUS")) | (is-fireable("t_68665_a20_SIGSYS"))))) | ((A (G (is-fireable("t_87094_a61_SIGQUIT")))) & ((! (is-fireable("t_8031_a34_SIGSTOP"))) & (is-fireable("t_88702_a70_SIGTRAP")))))))))
   end.
Property RERS17pb115-PT-1-CTLFireability-05
   "Automatically generated by Citili v2022"
   is:
      E (G (! (A ((! ((! (! (is-fireable("t_30589_a119_SIGQUIT")))) & (is-fireable("t_24496_a86_SIGHUP")))) U (is-fireable("t_138111_a17_SIGIOT"))))))
   end.
Property RERS17pb115-PT-1-CTLFireability-06
   "Automatically generated by Citili v2022"
   is:
      A (G (! (((((is-fireable("t_113932_a100_SIGXFSZ")) | (is-fireable("t_18085_a111_SIGTRAP"))) & (! (! (E (G (is-fireable("t_69246_a20_SIGSYS"))))))) | (A ((E ((is-fireable("t_53369_a57_SIGHUP")) U (is-fireable("t_133786_a49_SIGWINCH")))) U ((E (X (is-fireable("t_9000_a34_SIGSTOP")))) | ((is-fireable("t_126082_a35_SIGIOT")) & (is-fireable("t_71629_a87_SIGPROF"))))))) & (A (((! (E (F (is-fireable("t_66361_a20_SIGSYS"))))) | (is-fireable("t_95118_a51_SIGINFO"))) U ((is-fireable("t_104462_a19_SIGWINCH")) & (! (! (is-fireable("t_118548_a28_SIGCONT"))))))))))
   end.
Property RERS17pb115-PT-1-CTLFireability-07
   "Automatically generated by Citili v2022"
   is:
      E (G ((A (X (E (X ((! (is-fireable("t_81549_a26_SIGILL"))) & (! (is-fireable("t_119131_a28_SIGCONT")))))))) | (is-fireable("t_24300_a86_SIGHUP"))))
   end.
Property RERS17pb115-PT-1-CTLFireability-08
   "Automatically generated by Citili v2022"
   is:
      A (((! (A (X (! (E ((is-fireable("t_118874_a28_SIGCONT")) U (is-fireable("t_64722_a105_SIGABRT")))))))) & (E (F (A (G (A (X (is-fireable("t_19921_a2_SIGUSR1"))))))))) U (A (F (is-fireable("t_59327_a24_SIGURG")))))
   end.
Property RERS17pb115-PT-1-CTLFireability-09
   "Automatically generated by Citili v2022"
   is:
      A (G (E (F (! (is-fireable("t_69909_a20_SIGSYS"))))))
   end.
Property RERS17pb115-PT-1-CTLFireability-10
   "Automatically generated by Citili v2022"
   is:
      A (X (! (E (F (A (F (A ((is-fireable("t_105200_a19_SIGWINCH")) U (is-fireable("t_45070_a98_SIGINT"))))))))))
   end.
Property RERS17pb115-PT-1-CTLFireability-11
   "Automatically generated by Citili v2022"
   is:
      A (X (E (((((! (A (X (is-fireable("t_14784_a92_SIGCHLD"))))) & (E (X (is-fireable("t_105716_a19_SIGWINCH"))))) | (A ((! (is-fireable("t_92239_a38_SIGPROF"))) U ((is-fireable("t_110794_a73_SIGFPE")) | (is-fireable("t_50286_a107_SIGKILL")))))) & (! (is-fireable("t_82821_a94_SIGPOLL")))) U (((! (E ((is-fireable("t_5518_a104_SIGHUP")) U (is-fireable("t_35626_a14_SIGTSTP"))))) | (is-fireable("t_69066_a20_SIGSYS"))) & (is-fireable("t_65331_a105_SIGABRT"))))))
   end.
Property RERS17pb115-PT-1-CTLFireability-12
   "Automatically generated by Citili v2022"
   is:
      A (X (E ((! (is-fireable("t_41412_a59_SIGABRT"))) U (A (((is-fireable("t_117142_a100_SIGXFSZ")) | (! (is-fireable("t_26382_a86_SIGHUP")))) U (E (G (A (G (is-fireable("t_64324_a105_SIGABRT")))))))))))
   end.
Property RERS17pb115-PT-1-CTLFireability-13
   "Automatically generated by Citili v2022"
   is:
      E (X (A (F (A (F ((E (G (is-fireable("t_4641_a104_SIGHUP")))) | ((A (F (is-fireable("t_134700_a4_SIGQUIT")))) & (! (is-fireable("t_90539_a70_SIGTRAP"))))))))))
   end.
Property RERS17pb115-PT-1-CTLFireability-14
   "Automatically generated by Citili v2022"
   is:
      E (G (E (X (A (X (E (G (A (F (is-fireable("t_64942_a105_SIGABRT")))))))))))
   end.
Property RERS17pb115-PT-1-CTLFireability-15
   "Automatically generated by Citili v2022"
   is:
      A (F (! ((A (X (A ((is-fireable("t_45997_a109_SIGSYS")) U (A ((is-fireable("t_41043_a59_SIGABRT")) U (is-fireable("t_31110_a119_SIGQUIT")))))))) | (! ((E (F (A ((is-fireable("t_65852_a105_SIGABRT")) U (is-fireable("t_41625_a59_SIGABRT")))))) & (((! (is-fireable("t_113010_a73_SIGFPE"))) & ((is-fireable("t_49889_a88_SIGVTALRM")) | (is-fireable("t_74856_a108_SIGUSR2")))) & (! (is-fireable("t_142404_a115_SIGSEGV")))))))))
   end.
