Property RERS17pb113-PT-4-CTLFireability-00
   "Automatically generated by Citili v2022"
   is:
      ! (E (G (! ((E (X ((E ((is-fireable("t_19494_a20_SIGLOST")) U (is-fireable("t_24476_a19_SIGPROF")))) & ((is-fireable("t_21747_a4_SIGUSR2")) & (is-fireable("t_11144_a14_SIGLOST")))))) | (E (X (((is-fireable("t_9372_a45_SIGTSTP")) | (is-fireable("t_15781_a6_SIGUSR2"))) | (A (G (is-fireable("t_11968_a30_SIGFPE")))))))))))
   end.
Property RERS17pb113-PT-4-CTLFireability-01
   "Automatically generated by Citili v2022"
   is:
      ! (E (F (E ((E (X ((! (is-fireable("t_14729_a9_SIGCONT"))) | (is-fireable("t_5781_a32_SIGWINCH"))))) U ((is-fireable("t_24647_a19_SIGPROF")) & (E (F (E (G (is-fireable("t_25064_a3_SIGBUS")))))))))))
   end.
Property RERS17pb113-PT-4-CTLFireability-02
   "Automatically generated by Citili v2022"
   is:
      A (F (A (G (((A (G (A (X (is-fireable("t_30828_a52_SIGFPE")))))) | ((A (F (is-fireable("t_11681_a17_SIGCONT")))) | (E (F (is-fireable("t_29734_a77_SIGTTIN")))))) | (A ((((is-fireable("t_7236_a72_SIGFPE")) | (is-fireable("t_1104_a79_SIGKILL"))) | (is-fireable("t_28297_a1_SIGTERM"))) U (((is-fireable("t_23925_a19_SIGPROF")) | (is-fireable("t_22646_a11_SIGINFO"))) | (! (is-fireable("t_14747_a9_SIGCONT"))))))))))
   end.
Property RERS17pb113-PT-4-CTLFireability-03
   "Automatically generated by Citili v2022"
   is:
      A (X (E ((is-fireable("t_15277_a6_SIGUSR2")) U (A ((! (! (A (X (is-fireable("t_9522_a45_SIGTSTP")))))) U ((E (F (is-fireable("t_3634_a76_SIGTTIN")))) | (E (X (is-fireable("t_10461_a40_SIGTRAP"))))))))))
   end.
Property RERS17pb113-PT-4-CTLFireability-04
   "Automatically generated by Citili v2022"
   is:
      A (F (A (F (E (G (is-fireable("t_15289_a6_SIGUSR2")))))))
   end.
Property RERS17pb113-PT-4-CTLFireability-05
   "Automatically generated by Citili v2022"
   is:
      E (F (E (X (E (((A ((is-fireable("t_5242_a43_SIGDEADLK")) U (is-fireable("t_26532_a60_SIGTERM")))) & (is-fireable("t_9112_a31_SIGQUIT"))) U (A (X ((is-fireable("t_5891_a32_SIGWINCH")) | (is-fireable("t_18506_a50_SIGDEADLK"))))))))))
   end.
Property RERS17pb113-PT-4-CTLFireability-06
   "Automatically generated by Citili v2022"
   is:
      A (X (E ((! (E (X (A (G (is-fireable("t_20442_a20_SIGLOST"))))))) U (E (X (A ((is-fireable("t_22409_a4_SIGUSR2")) U ((is-fireable("t_17418_a59_SIGPIPE")) & (is-fireable("t_5437_a43_SIGDEADLK"))))))))))
   end.
Property RERS17pb113-PT-4-CTLFireability-07
   "Automatically generated by Citili v2022"
   is:
      A (F (E (((! (is-fireable("t_966_a79_SIGKILL"))) & (A (F (is-fireable("t_9415_a45_SIGTSTP"))))) U (E (((is-fireable("t_2151_a71_SIGPOLL")) & (((is-fireable("t_27331_a34_SIGPROF")) & (is-fireable("t_9962_a40_SIGTRAP"))) & (A (X (is-fireable("t_4669_a29_SIGCHLD")))))) U ((((is-fireable("t_27513_a34_SIGPROF")) | (is-fireable("t_5715_a32_SIGWINCH"))) | (A (F (is-fireable("t_23757_a5_SIGINFO"))))) | (is-fireable("t_9251_a31_SIGQUIT"))))))))
   end.
Property RERS17pb113-PT-4-CTLFireability-08
   "Automatically generated by Citili v2022"
   is:
      ! (A (G (A (X ((E (X (A (X (is-fireable("t_17695_a59_SIGPIPE")))))) | (A (G (! (is-fireable("t_11197_a17_SIGCONT"))))))))))
   end.
Property RERS17pb113-PT-4-CTLFireability-09
   "Automatically generated by Citili v2022"
   is:
      A (X (E (X (A (F ((A ((is-fireable("t_19987_a20_SIGLOST")) U (is-fireable("t_10869_a40_SIGTRAP")))) & ((A (X (is-fireable("t_16390_a18_SIGFPE")))) & (A (F (is-fireable("t_16257_a21_SIGSEGV")))))))))))
   end.
Property RERS17pb113-PT-4-CTLFireability-10
   "Automatically generated by Citili v2022"
   is:
      ! (! ((! (A (G ((is-fireable("t_15104_a6_SIGUSR2")) | (A (G (is-fireable("t_1707_a71_SIGPOLL")))))))) & (A (F (is-fireable("t_13493_a36_SIGDEADLK"))))))
   end.
Property RERS17pb113-PT-4-CTLFireability-11
   "Automatically generated by Citili v2022"
   is:
      E (G (A (F (! (! ((A ((is-fireable("t_26057_a28_SIGPWR")) U (is-fireable("t_22307_a4_SIGUSR2")))) | (A (G (is-fireable("t_24244_a19_SIGPROF"))))))))))
   end.
Property RERS17pb113-PT-4-CTLFireability-12
   "Automatically generated by Citili v2022"
   is:
      E (F (A (F (is-fireable("t_9556_a45_SIGTSTP")))))
   end.
Property RERS17pb113-PT-4-CTLFireability-13
   "Automatically generated by Citili v2022"
   is:
      E ((E (G (! ((is-fireable("t_6703_a2_SIGVTALRM")) & (((A ((is-fireable("t_31270_a52_SIGFPE")) U (is-fireable("t_47_a78_SIGEMT")))) & (! (is-fireable("t_5056_a62_SIGHUP")))) | (A (G (is-fireable("t_9342_a31_SIGQUIT"))))))))) U ((! (A ((E (G ((is-fireable("t_20592_a64_SIGINFO")) & (is-fireable("t_18848_a50_SIGDEADLK"))))) U (! (E (X (is-fireable("t_8802_a55_SIGPROF")))))))) | (A (X (E (((is-fireable("t_4214_a29_SIGCHLD")) & (A (X (is-fireable("t_9034_a31_SIGQUIT"))))) U ((is-fireable("t_21111_a44_SIGINFO")) & ((is-fireable("t_10573_a40_SIGTRAP")) & (is-fireable("t_4055_a29_SIGCHLD"))))))))))
   end.
Property RERS17pb113-PT-4-CTLFireability-14
   "Automatically generated by Citili v2022"
   is:
      E (X (E (F (is-fireable("t_25589_a28_SIGPWR")))))
   end.
Property RERS17pb113-PT-4-CTLFireability-15
   "Automatically generated by Citili v2022"
   is:
      A (G ((E (F (! (E ((A (G (is-fireable("t_19887_a20_SIGLOST")))) U (! (is-fireable("t_27632_a51_SIGURG")))))))) & (A (F (! ((is-fireable("t_1013_a79_SIGKILL")) | (E ((is-fireable("t_28592_a1_SIGTERM")) U (is-fireable("t_353_a79_SIGKILL"))))))))))
   end.
