Property RERS17pb113-PT-3-CTLFireability-2025-00
   "Automatically generated by Citili v2025"
   is:
      A (G ((! (A (X (E (X (is-fireable("t_31250_a52_SIGFPE"))))))) | ((E (X (! ((is-fireable("t_30900_a52_SIGFPE")) | (E (F (is-fireable("t_28971_a10_SIGABRT")))))))) | (! ((A (G (A (G (is-fireable("t_7544_a66_SIGTRAP")))))) | (E (G ((is-fireable("t_16990_a18_SIGFPE")) | (is-fireable("t_2432_a65_SIGUSR1"))))))))))
   end.
Property RERS17pb113-PT-3-CTLFireability-2025-01
   "Automatically generated by Citili v2025"
   is:
      A (F (A ((! (((! ((is-fireable("t_18261_a59_SIGPIPE")) & (is-fireable("t_22703_a11_SIGINFO")))) | (E (G (is-fireable("t_4767_a29_SIGCHLD"))))) & (! (A (G (is-fireable("t_13021_a36_SIGDEADLK"))))))) U (is-fireable("t_19253_a50_SIGDEADLK")))))
   end.
Property RERS17pb113-PT-3-CTLFireability-2025-02
   "Automatically generated by Citili v2025"
   is:
      E (X ((! ((A (X (E (G (is-fireable("t_14280_a9_SIGCONT")))))) & (is-fireable("t_1722_a71_SIGPOLL")))) & (A ((A (X (((is-fireable("t_14802_a9_SIGCONT")) & (is-fireable("t_6783_a2_SIGVTALRM"))) | (! (is-fireable("t_12290_a33_SIGTTOU")))))) U ((E ((! (is-fireable("t_14207_a9_SIGCONT"))) U (A ((is-fireable("t_22263_a4_SIGUSR2")) U (is-fireable("t_16745_a18_SIGFPE")))))) | (A (X (is-fireable("t_5259_a43_SIGDEADLK")))))))))
   end.
Property RERS17pb113-PT-3-CTLFireability-2025-03
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("t_28779_a10_SIGABRT")))
   end.
Property RERS17pb113-PT-3-CTLFireability-2025-04
   "Automatically generated by Citili v2025"
   is:
      A (G (E (((is-fireable("t_5016_a62_SIGHUP")) | (! ((is-fireable("t_15736_a6_SIGUSR2")) | (is-fireable("t_14642_a9_SIGCONT"))))) U (E (X (E (X (! (is-fireable("t_6459_a32_SIGWINCH"))))))))))
   end.
Property RERS17pb113-PT-3-CTLFireability-2025-05
   "Automatically generated by Citili v2025"
   is:
      A (((is-fireable("t_395_a79_SIGKILL")) | (((! ((! ((is-fireable("t_8751_a55_SIGPROF")) | (is-fireable("t_23159_a11_SIGINFO")))) & ((E (F (is-fireable("t_21513_a4_SIGUSR2")))) & (is-fireable("t_8817_a55_SIGPROF"))))) | (A (F (is-fireable("t_12106_a30_SIGFPE"))))) & (A (F (! (A (G (is-fireable("t_23244_a11_SIGINFO"))))))))) U (A ((E (G (A (F (is-fireable("t_22405_a4_SIGUSR2")))))) U ((A (X (E (X (is-fireable("t_28338_a1_SIGTERM")))))) | (A (X (E (F (is-fireable("t_4147_a29_SIGCHLD"))))))))))
   end.
Property RERS17pb113-PT-3-CTLFireability-2025-06
   "Automatically generated by Citili v2025"
   is:
      ! (A ((! (A ((A ((is-fireable("t_9533_a45_SIGTSTP")) U (is-fireable("t_11769_a25_SIGSEGV")))) U (is-fireable("t_21463_a44_SIGINFO"))))) U ((E ((A (X (is-fireable("t_12513_a36_SIGDEADLK")))) U (A ((is-fireable("t_11684_a17_SIGCONT")) U (is-fireable("t_8355_a56_SIGWINCH")))))) & (((! ((is-fireable("t_29328_a38_SIGCHLD")) & (is-fireable("t_6661_a2_SIGVTALRM")))) | (is-fireable("t_18055_a59_SIGPIPE"))) | ((A (F (is-fireable("t_8879_a31_SIGQUIT")))) | (((is-fireable("t_27708_a22_SIGINFO")) & (is-fireable("t_30124_a7_SIGSTOP"))) & (! (is-fireable("t_1827_a71_SIGPOLL")))))))))
   end.
Property RERS17pb113-PT-3-CTLFireability-2025-07
   "Automatically generated by Citili v2025"
   is:
      E (G ((! (E (G (E (((is-fireable("t_583_a79_SIGKILL")) | (is-fireable("t_28705_a1_SIGTERM"))) U (! (is-fireable("t_15987_a6_SIGUSR2")))))))) | (A (F (is-fireable("t_18836_a50_SIGDEADLK"))))))
   end.
Property RERS17pb113-PT-3-CTLFireability-2025-08
   "Automatically generated by Citili v2025"
   is:
      ! (E (F (E (F (A (G (E (G (is-fireable("t_22758_a11_SIGINFO"))))))))))
   end.
Property RERS17pb113-PT-3-CTLFireability-2025-09
   "Automatically generated by Citili v2025"
   is:
      E ((is-fireable("t_26893_a12_SIGPIPE")) U (A (((((E (F (is-fireable("t_1923_a71_SIGPOLL")))) | (E (X (is-fireable("t_17175_a18_SIGFPE"))))) | (E (((is-fireable("t_24307_a19_SIGPROF")) | (is-fireable("t_4061_a29_SIGCHLD"))) U ((is-fireable("t_24451_a19_SIGPROF")) & (is-fireable("t_10141_a40_SIGTRAP")))))) & (A (F (A (G (is-fireable("t_9988_a40_SIGTRAP"))))))) U (is-fireable("t_15142_a6_SIGUSR2")))))
   end.
Property RERS17pb113-PT-3-CTLFireability-2025-10
   "Automatically generated by Citili v2025"
   is:
      A (X (A ((! ((E (F (E ((is-fireable("t_19567_a20_SIGLOST")) U (is-fireable("t_24770_a19_SIGPROF")))))) & (A (F (A (G (is-fireable("t_10009_a40_SIGTRAP")))))))) U ((((is-fireable("t_20305_a20_SIGLOST")) | ((is-fireable("t_16615_a18_SIGFPE")) | (E (F (is-fireable("t_3141_a76_SIGTTIN")))))) & (A (G (! (is-fireable("t_21170_a44_SIGINFO")))))) & (A (X (E ((is-fireable("t_24290_a19_SIGPROF")) U (is-fireable("t_26099_a60_SIGTERM"))))))))))
   end.
Property RERS17pb113-PT-3-CTLFireability-2025-11
   "Automatically generated by Citili v2025"
   is:
      A (G ((E (G (E (F (! (E (X (is-fireable("t_3887_a29_SIGCHLD"))))))))) | (E (F (E (X (is-fireable("t_19205_a50_SIGDEADLK"))))))))
   end.
Property RERS17pb113-PT-3-CTLFireability-12
   "Automatically generated by Citili v2023"
   is:
      A ((! (((E ((is-fireable("t_446_a79_SIGKILL")) U (A (G (is-fireable("t_29309_a26_SIGPWR")))))) | (((E (F (is-fireable("t_4084_a29_SIGCHLD")))) & (A (G (is-fireable("t_30778_a52_SIGFPE"))))) & (! (((is-fireable("t_2581_a65_SIGUSR1")) & (is-fireable("t_16534_a18_SIGFPE"))) & (E (F (is-fireable("t_23921_a19_SIGPROF")))))))) | (E (G (E (((is-fireable("t_1843_a71_SIGPOLL")) | (is-fireable("t_27734_a22_SIGINFO"))) U ((is-fireable("t_23140_a11_SIGINFO")) | (is-fireable("t_25851_a28_SIGPWR"))))))))) U (is-fireable("t_9180_a31_SIGQUIT")))
   end.
Property RERS17pb113-PT-3-CTLFireability-13
   "Automatically generated by Citili v2023"
   is:
      A (G (E (F ((A ((((is-fireable("t_20610_a64_SIGINFO")) | (is-fireable("t_19597_a20_SIGLOST"))) | (A ((is-fireable("t_16254_a21_SIGSEGV")) U (is-fireable("t_4193_a29_SIGCHLD"))))) U (((is-fireable("t_25262_a28_SIGPWR")) & (is-fireable("t_31306_a52_SIGFPE"))) & (! (is-fireable("t_9509_a45_SIGTSTP")))))) | ((E (F (! (is-fireable("t_10339_a40_SIGTRAP"))))) & (is-fireable("t_28570_a1_SIGTERM")))))))
   end.
Property RERS17pb113-PT-3-CTLFireability-14
   "Automatically generated by Citili v2023"
   is:
      A (F (A (G (is-fireable("t_6177_a32_SIGWINCH")))))
   end.
Property RERS17pb113-PT-3-CTLFireability-15
   "Automatically generated by Citili v2023"
   is:
      (A (F ((A (G ((A ((is-fireable("t_5013_a62_SIGHUP")) U (is-fireable("t_25405_a28_SIGPWR")))) | ((! (is-fireable("t_20747_a57_SIGTRAP"))) | (E (F (is-fireable("t_28692_a1_SIGTERM")))))))) & (A (X (A (((is-fireable("t_30067_a61_SIGINT")) & (is-fireable("t_662_a79_SIGKILL"))) U ((is-fireable("t_29226_a26_SIGPWR")) & (is-fireable("t_12643_a36_SIGDEADLK")))))))))) | (E (X (A (X (is-fireable("t_6961_a72_SIGFPE"))))))
   end.
