Property RERS17pb113-PT-9-CTLFireability-2025-00
   "Automatically generated by Citili v2025"
   is:
      A (G ((A ((! (E (X ((is-fireable("t_12224_a33_SIGTTOU")) | (is-fireable("t_31222_a52_SIGFPE")))))) U ((is-fireable("t_6539_a32_SIGWINCH")) | (E (G (is-fireable("t_29441_a38_SIGCHLD"))))))) & (E (F (! ((is-fireable("t_24975_a3_SIGBUS")) | ((is-fireable("t_28114_a42_SIGSTOP")) & ((is-fireable("t_3454_a76_SIGTTIN")) & (is-fireable("t_13607_a54_SIGFPE"))))))))))
   end.
Property RERS17pb113-PT-9-CTLFireability-2025-01
   "Automatically generated by Citili v2025"
   is:
      E (((! (E (X (A (F ((is-fireable("t_19384_a50_SIGDEADLK")) | (is-fireable("t_18133_a59_SIGPIPE")))))))) | (! (is-fireable("t_40_a78_SIGEMT")))) U (is-fireable("t_1322_a71_SIGPOLL")))
   end.
Property RERS17pb113-PT-9-CTLFireability-2025-02
   "Automatically generated by Citili v2025"
   is:
      ! (A (((! (is-fireable("t_25556_a28_SIGPWR"))) & (is-fireable("t_7534_a66_SIGTRAP"))) U (A (G ((E (G ((is-fireable("t_2292_a71_SIGPOLL")) | (is-fireable("t_29434_a38_SIGCHLD"))))) | (E (F (A ((is-fireable("t_12039_a30_SIGFPE")) U (is-fireable("t_5874_a32_SIGWINCH")))))))))))
   end.
Property RERS17pb113-PT-9-CTLFireability-2025-03
   "Automatically generated by Citili v2025"
   is:
      A (G (! ((is-fireable("t_29574_a38_SIGCHLD")) & (E (F ((is-fireable("t_7425_a72_SIGFPE")) & (! (is-fireable("t_14111_a9_SIGCONT")))))))))
   end.
Property RERS17pb113-PT-9-CTLFireability-2025-04
   "Automatically generated by Citili v2025"
   is:
      (E ((E (X (A (X (! ((is-fireable("t_17154_a18_SIGFPE")) | (is-fireable("t_8889_a31_SIGQUIT")))))))) U (A (G (is-fireable("t_24672_a19_SIGPROF")))))) & (E (F ((is-fireable("t_29648_a77_SIGTTIN")) & ((((is-fireable("t_9966_a40_SIGTRAP")) | (is-fireable("t_27303_a34_SIGPROF"))) | (A (F ((is-fireable("t_25954_a28_SIGPWR")) | (is-fireable("t_18568_a50_SIGDEADLK")))))) | (is-fireable("t_11050_a14_SIGLOST"))))))
   end.
Property RERS17pb113-PT-9-CTLFireability-2025-05
   "Automatically generated by Citili v2025"
   is:
      A (G (E (X (A (F (! (is-fireable("t_17716_a59_SIGPIPE"))))))))
   end.
Property RERS17pb113-PT-9-CTLFireability-2025-06
   "Automatically generated by Citili v2025"
   is:
      A ((A (G (E (X (! (is-fireable("t_30734_a52_SIGFPE"))))))) U (((A (G ((A (G (is-fireable("t_12153_a30_SIGFPE")))) | ((A (G (is-fireable("t_19903_a20_SIGLOST")))) & ((is-fireable("t_16581_a18_SIGFPE")) | (is-fireable("t_12811_a36_SIGDEADLK"))))))) & (((! (is-fireable("t_28395_a1_SIGTERM"))) | (A (X ((is-fireable("t_25165_a28_SIGPWR")) & (is-fireable("t_30006_a39_SIGTERM")))))) & ((! ((A ((is-fireable("t_5549_a43_SIGDEADLK")) U (is-fireable("t_12700_a36_SIGDEADLK")))) & (is-fireable("t_13507_a36_SIGDEADLK")))) | (is-fireable("t_17935_a59_SIGPIPE"))))) | ((is-fireable("t_28093_a42_SIGSTOP")) & (E (F ((A ((is-fireable("t_14921_a9_SIGCONT")) U (is-fireable("t_6150_a32_SIGWINCH")))) & (is-fireable("t_23871_a19_SIGPROF"))))))))
   end.
Property RERS17pb113-PT-9-CTLFireability-2025-07
   "Automatically generated by Citili v2025"
   is:
      E (G ((E ((((E (G (is-fireable("t_21910_a4_SIGUSR2")))) & (E (G (is-fireable("t_444_a79_SIGKILL"))))) | (E (G ((is-fireable("t_11971_a30_SIGFPE")) | (is-fireable("t_7807_a66_SIGTRAP")))))) U (! ((A (X (is-fireable("t_2501_a65_SIGUSR1")))) & (E (G (is-fireable("t_7527_a66_SIGTRAP")))))))) & (A (((((is-fireable("t_25364_a28_SIGPWR")) | (is-fireable("t_15196_a6_SIGUSR2"))) | ((A (F (is-fireable("t_11506_a17_SIGCONT")))) | (A (X (is-fireable("t_24504_a19_SIGPROF")))))) | (is-fireable("t_21505_a4_SIGUSR2"))) U (A (((A (F (is-fireable("t_14977_a9_SIGCONT")))) & (is-fireable("t_23709_a5_SIGINFO"))) U (is-fireable("t_28227_a1_SIGTERM"))))))))
   end.
Property RERS17pb113-PT-9-CTLFireability-2025-08
   "Automatically generated by Citili v2025"
   is:
      (E (F ((is-fireable("t_24107_a19_SIGPROF")) & (A (X (is-fireable("t_395_a79_SIGKILL"))))))) & (A (G (! (A (G (! (((is-fireable("t_11640_a17_SIGCONT")) | (is-fireable("t_7703_a66_SIGTRAP"))) | (! (is-fireable("t_6718_a2_SIGVTALRM"))))))))))
   end.
Property RERS17pb113-PT-9-CTLFireability-2025-09
   "Automatically generated by Citili v2025"
   is:
      A (((is-fireable("t_16866_a18_SIGFPE")) & (A (F (E ((((is-fireable("t_4447_a29_SIGCHLD")) | (is-fireable("t_20280_a20_SIGLOST"))) | (! (is-fireable("t_84_a78_SIGEMT")))) U (is-fireable("t_29216_a26_SIGPWR"))))))) U (A (G (A (F ((is-fireable("t_26831_a35_SIGUSR2")) & (A (G (is-fireable("t_29480_a38_SIGCHLD"))))))))))
   end.
Property RERS17pb113-PT-9-CTLFireability-2025-10
   "Automatically generated by Citili v2025"
   is:
      A (G (A ((E ((! (E (F (is-fireable("t_270_a79_SIGKILL"))))) U ((A (X (is-fireable("t_8903_a31_SIGQUIT")))) & (E (G (is-fireable("t_17458_a59_SIGPIPE"))))))) U (E (G (((! (is-fireable("t_12524_a36_SIGDEADLK"))) | (E (G (is-fireable("t_10353_a40_SIGTRAP"))))) & (E ((is-fireable("t_26374_a60_SIGTERM")) U (is-fireable("t_31251_a52_SIGFPE"))))))))))
   end.
Property RERS17pb113-PT-9-CTLFireability-2025-11
   "Automatically generated by Citili v2025"
   is:
      A ((A (F (is-fireable("t_5779_a32_SIGWINCH")))) U (E (F (is-fireable("t_13612_a54_SIGFPE")))))
   end.
Property RERS17pb113-PT-9-CTLFireability-12
   "Automatically generated by Citili v2023"
   is:
      E (G ((A (G (A (X ((A (X (is-fireable("t_16254_a21_SIGSEGV")))) & (E (X (is-fireable("t_10104_a40_SIGTRAP"))))))))) | (! ((is-fireable("t_24151_a19_SIGPROF")) & (((A (X (is-fireable("t_3260_a76_SIGTTIN")))) | ((is-fireable("t_412_a79_SIGKILL")) & (! (is-fireable("t_30214_a7_SIGSTOP"))))) & (E (G ((is-fireable("t_20777_a57_SIGTRAP")) | (is-fireable("t_2462_a65_SIGUSR1"))))))))))
   end.
Property RERS17pb113-PT-9-CTLFireability-13
   "Automatically generated by Citili v2023"
   is:
      E (G (((E ((((! (is-fireable("t_1297_a71_SIGPOLL"))) | (E (X (is-fireable("t_18778_a50_SIGDEADLK"))))) | ((E (X (is-fireable("t_24945_a3_SIGBUS")))) | (is-fireable("t_30956_a52_SIGFPE")))) U (is-fireable("t_912_a79_SIGKILL")))) | (((! (A (X (is-fireable("t_5108_a62_SIGHUP"))))) & (! (A ((is-fireable("t_14580_a9_SIGCONT")) U (is-fireable("t_7090_a72_SIGFPE")))))) | (E (X (! (E (G (is-fireable("t_5504_a43_SIGDEADLK"))))))))) | (is-fireable("t_27593_a34_SIGPROF"))))
   end.
Property RERS17pb113-PT-9-CTLFireability-14
   "Automatically generated by Citili v2023"
   is:
      (E (X (((((E (F (is-fireable("t_14612_a9_SIGCONT")))) & (A ((is-fireable("t_6810_a16_SIGCHLD")) U (is-fireable("t_1459_a71_SIGPOLL"))))) | (is-fireable("t_25919_a28_SIGPWR"))) & (is-fireable("t_27104_a12_SIGPIPE"))) | (E (F (is-fireable("t_13534_a54_SIGFPE"))))))) & (A (F (((! (((is-fireable("t_13172_a36_SIGDEADLK")) & (A ((is-fireable("t_11525_a17_SIGCONT")) U (is-fireable("t_8359_a56_SIGWINCH"))))) & (E ((is-fireable("t_9814_a45_SIGTSTP")) U (is-fireable("t_23407_a11_SIGINFO")))))) & ((E (((is-fireable("t_7668_a66_SIGTRAP")) & (is-fireable("t_9411_a45_SIGTSTP"))) U (E ((is-fireable("t_2496_a65_SIGUSR1")) U (is-fireable("t_4258_a29_SIGCHLD")))))) | (is-fireable("t_12306_a33_SIGTTOU")))) | (is-fireable("t_14457_a9_SIGCONT")))))
   end.
Property RERS17pb113-PT-9-CTLFireability-15
   "Automatically generated by Citili v2023"
   is:
      A ((A ((is-fireable("t_28757_a75_SIGFPE")) U (A (G (! ((is-fireable("t_23646_a5_SIGINFO")) | (is-fireable("t_6111_a32_SIGWINCH")))))))) U (A ((((A (G (! (is-fireable("t_10941_a14_SIGLOST"))))) & (is-fireable("t_29378_a38_SIGCHLD"))) & (! (E (G (A ((is-fireable("t_3256_a76_SIGTTIN")) U (is-fireable("t_29306_a26_SIGPWR")))))))) U (! ((A (F (! (is-fireable("t_1606_a71_SIGPOLL"))))) | (! (A (F (is-fireable("t_13211_a36_SIGDEADLK"))))))))))
   end.
