Property RERS17pb115-PT-7-CTLFireability-2025-00
   "Automatically generated by Citili v2025"
   is:
      E (F (! ((! (is-fireable("t_142481_a115_SIGSEGV"))) | (A (G (is-fireable("t_85110_a15_SIGKILL")))))))
   end.
Property RERS17pb115-PT-7-CTLFireability-2025-01
   "Automatically generated by Citili v2025"
   is:
      ! (A ((! (A (X (((E (F (is-fireable("t_61719_a114_SIGBUS")))) | ((is-fireable("t_13886_a92_SIGCHLD")) | (is-fireable("t_77064_a91_SIGPROF")))) & (E (X (is-fireable("t_33724_a97_SIGFPE")))))))) U (is-fireable("t_62634_a105_SIGABRT"))))
   end.
Property RERS17pb115-PT-7-CTLFireability-2025-02
   "Automatically generated by Citili v2025"
   is:
      A (X (E ((! ((((is-fireable("t_136938_a6_SIGINFO")) & ((is-fireable("t_73340_a87_SIGPROF")) | (is-fireable("t_135448_a4_SIGQUIT")))) | (! (E ((is-fireable("t_30757_a119_SIGQUIT")) U (is-fireable("t_47468_a109_SIGSYS")))))) & (is-fireable("t_92121_a38_SIGPROF")))) U (E ((((E (F (is-fireable("t_56905_a24_SIGURG")))) & ((is-fireable("t_45301_a109_SIGSYS")) & (is-fireable("t_15590_a92_SIGCHLD")))) & (A (F (is-fireable("t_71437_a87_SIGPROF"))))) U (is-fireable("t_10597_a34_SIGSTOP")))))))
   end.
Property RERS17pb115-PT-7-CTLFireability-2025-03
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("t_60328_a78_SIGQUIT")))
   end.
Property RERS17pb115-PT-7-CTLFireability-2025-04
   "Automatically generated by Citili v2025"
   is:
      A (X ((E (X (A (((! (is-fireable("t_41237_a59_SIGABRT"))) & ((is-fireable("t_10982_a34_SIGSTOP")) | (is-fireable("t_94226_a18_SIGSEGV")))) U (! (E (X (is-fireable("t_100273_a32_SIGUSR1"))))))))) & (A (F (A (G (((is-fireable("t_37600_a14_SIGTSTP")) & (is-fireable("t_27528_a86_SIGHUP"))) | ((is-fireable("t_85560_a15_SIGKILL")) | (is-fireable("t_133763_a49_SIGWINCH"))))))))))
   end.
Property RERS17pb115-PT-7-CTLFireability-2025-05
   "Automatically generated by Citili v2025"
   is:
      A (F ((E ((A (G ((is-fireable("t_51321_a55_SIGCHLD")) | (! (is-fireable("t_141341_a75_SIGQUIT")))))) U ((E ((! (is-fireable("t_70829_a87_SIGPROF"))) U ((is-fireable("t_131731_a47_SIGILL")) & (is-fireable("t_29822_a119_SIGQUIT"))))) & ((E ((is-fireable("t_53159_a57_SIGHUP")) U (is-fireable("t_142989_a115_SIGSEGV")))) | (E (G (is-fireable("t_120360_a28_SIGCONT")))))))) & (is-fireable("t_61508_a114_SIGBUS"))))
   end.
Property RERS17pb115-PT-7-CTLFireability-2025-06
   "Automatically generated by Citili v2025"
   is:
      E (F (((is-fireable("t_5809_a104_SIGHUP")) & (((A (G (E ((is-fireable("t_79796_a48_SIGPWR")) U (is-fireable("t_20722_a67_SIGALRM")))))) | (is-fireable("t_82906_a94_SIGPOLL"))) | (! (is-fireable("t_90424_a70_SIGTRAP"))))) & ((A (X (! (((is-fireable("t_104164_a19_SIGWINCH")) & (is-fireable("t_86104_a15_SIGKILL"))) & (A ((is-fireable("t_53653_a57_SIGHUP")) U (is-fireable("t_61177_a114_SIGBUS")))))))) & (E (X ((E (X (is-fireable("t_8306_a34_SIGSTOP")))) & ((E (G (is-fireable("t_137334_a6_SIGINFO")))) & (E (F (is-fireable("t_89719_a70_SIGTRAP")))))))))))
   end.
Property RERS17pb115-PT-7-CTLFireability-2025-07
   "Automatically generated by Citili v2025"
   is:
      A (F (A (X ((A (X (is-fireable("t_119496_a28_SIGCONT")))) | (A (G (A (X (is-fireable("t_52703_a57_SIGHUP"))))))))))
   end.
Property RERS17pb115-PT-7-CTLFireability-2025-08
   "Automatically generated by Citili v2025"
   is:
      E ((((is-fireable("t_143223_a115_SIGSEGV")) & ((is-fireable("t_41583_a59_SIGABRT")) & (is-fireable("t_81493_a26_SIGILL")))) | (A (G (A (F ((is-fireable("t_142586_a115_SIGSEGV")) & (E (F (is-fireable("t_43599_a3_SIGURG")))))))))) U (A (X (is-fireable("t_22668_a64_SIGEMT")))))
   end.
Property RERS17pb115-PT-7-CTLFireability-2025-09
   "Automatically generated by Citili v2025"
   is:
      (! (A (X (E (F (E (G (is-fireable("t_95328_a51_SIGINFO"))))))))) | (E (F (is-fireable("t_124845_a35_SIGIOT"))))
   end.
Property RERS17pb115-PT-7-CTLFireability-2025-10
   "Automatically generated by Citili v2025"
   is:
      A (X (E (G (! (A ((is-fireable("t_28268_a119_SIGQUIT")) U (is-fireable("t_99985_a32_SIGUSR1"))))))))
   end.
Property RERS17pb115-PT-7-CTLFireability-2025-11
   "Automatically generated by Citili v2025"
   is:
      A ((E ((! (E (X (E (G (is-fireable("t_37929_a14_SIGTSTP"))))))) U (E (G (A (F ((is-fireable("t_36745_a14_SIGTSTP")) | (is-fireable("t_32777_a31_SIGQUIT"))))))))) U (E (G (E (G (A (G (E (G (is-fireable("t_84101_a15_SIGKILL")))))))))))
   end.
Property RERS17pb115-PT-7-CTLFireability-12
   "Automatically generated by Citili v2023"
   is:
      A ((! (E (X (E (G ((E ((is-fireable("t_119990_a28_SIGCONT")) U (is-fireable("t_9456_a34_SIGSTOP")))) & (! (is-fireable("t_4320_a104_SIGHUP"))))))))) U (A ((is-fireable("t_26961_a86_SIGHUP")) U (((A ((is-fireable("t_81270_a26_SIGILL")) U ((is-fireable("t_40786_a59_SIGABRT")) & (is-fireable("t_30935_a119_SIGQUIT"))))) | ((((is-fireable("t_101187_a32_SIGUSR1")) | (is-fireable("t_28305_a119_SIGQUIT"))) | (is-fireable("t_73992_a87_SIGPROF"))) & ((! (is-fireable("t_25156_a86_SIGHUP"))) & (E (X (is-fireable("t_21231_a69_SIGKILL"))))))) | (! (E (X (E (F (is-fireable("t_129477_a46_SIGHUP")))))))))))
   end.
Property RERS17pb115-PT-7-CTLFireability-13
   "Automatically generated by Citili v2023"
   is:
      A (F (A (X (is-fireable("t_107863_a77_SIGWINCH")))))
   end.
Property RERS17pb115-PT-7-CTLFireability-14
   "Automatically generated by Citili v2023"
   is:
      E (G ((! ((E (X (E (X (is-fireable("t_104514_a19_SIGWINCH")))))) & (E (F (((is-fireable("t_90560_a70_SIGTRAP")) & (is-fireable("t_88122_a36_SIGCONT"))) & (A ((is-fireable("t_38354_a59_SIGABRT")) U (is-fireable("t_74827_a108_SIGUSR2"))))))))) | ((is-fireable("t_130208_a63_SIGDEADLK")) | (E (G (A (((is-fireable("t_110912_a73_SIGFPE")) & (is-fireable("t_135701_a4_SIGQUIT"))) U (A ((is-fireable("t_68972_a20_SIGSYS")) U (is-fireable("t_125006_a35_SIGIOT")))))))))))
   end.
Property RERS17pb115-PT-7-CTLFireability-15
   "Automatically generated by Citili v2023"
   is:
      A (G (! ((is-fireable("t_42948_a52_SIGCONT")) & ((! ((! (is-fireable("t_144008_a115_SIGSEGV"))) & ((is-fireable("t_96025_a85_SIGIOT")) & (is-fireable("t_110467_a73_SIGFPE"))))) | ((E (F ((is-fireable("t_33727_a97_SIGFPE")) | (is-fireable("t_33490_a97_SIGFPE"))))) & ((E (X (is-fireable("t_131705_a47_SIGILL")))) | (! (E (G (is-fireable("t_97444_a85_SIGIOT")))))))))))
   end.
