Property RERS17pb115-PT-8-ReachabilityFireability-00
  "Automatically generated"
  is:
    E F ((! "t_693_a13_SIGPIPE"?) & ((("t_12525_a76_SIGSTOP"?) & (! (("t_9180_a34_SIGSTOP"?) | ("t_69118_a20_SIGSYS"?))))))
  end.
Property RERS17pb115-PT-8-ReachabilityFireability-01
  "Automatically generated"
  is:
    E F (("t_34798_a14_SIGTSTP"?) & ("t_114954_a100_SIGXFSZ"?))
  end.
Property RERS17pb115-PT-8-ReachabilityFireability-02
  "Automatically generated"
  is:
    E F "t_100569_a32_SIGUSR1"?
  end.
Property RERS17pb115-PT-8-ReachabilityFireability-03
  "Automatically generated"
  is:
    E F (((((((("t_66275_a20_SIGSYS"?) | ("t_94942_a74_SIGBUS"?))) | ("t_110368_a73_SIGFPE"?))) & ((((("t_81062_a26_SIGILL"?) | ("t_29222_a119_SIGQUIT"?))) | (! "t_111642_a73_SIGFPE"?))))) & ("t_93065_a38_SIGPROF"?))
  end.
Property RERS17pb115-PT-8-ReachabilityFireability-04
  "Automatically generated"
  is:
    A G (("t_123542_a35_SIGIOT"?) | ((("t_54398_a57_SIGHUP"?) | (! (("t_51311_a55_SIGCHLD"?) | ("t_106017_a22_SIGUSR1"?))))))
  end.
Property RERS17pb115-PT-8-ReachabilityFireability-05
  "Automatically generated"
  is:
    A G (("t_5537_a104_SIGHUP"?) | (((((! "t_140705_a72_SIGTTIN"?) & (! "t_61463_a114_SIGBUS"?))) | ((((("t_10437_a34_SIGSTOP"?) & ("t_113071_a73_SIGFPE"?))) & ("t_19029_a116_SIGCONT"?))))))
  end.
Property RERS17pb115-PT-8-ReachabilityFireability-06
  "Automatically generated"
  is:
    E F ((((! "t_109561_a73_SIGFPE"?) & (((! "t_30485_a119_SIGQUIT"?) | ((("t_101459_a32_SIGUSR1"?) & ("t_134011_a4_SIGQUIT"?))))))) & ("t_63046_a105_SIGABRT"?))
  end.
Property RERS17pb115-PT-8-ReachabilityFireability-07
  "Automatically generated"
  is:
    E F ((((! ! "t_127938_a93_SIGURG"?) & ("t_123913_a35_SIGIOT"?))) | (((! "t_47403_a109_SIGSYS"?) & (! ! "t_54882_a57_SIGHUP"?))))
  end.
Property RERS17pb115-PT-8-ReachabilityFireability-08
  "Automatically generated"
  is:
    E F (((((("t_49874_a88_SIGVTALRM"?) & ((("t_139491_a1_SIGSYS"?) & ("t_117358_a100_SIGXFSZ"?))))) & (! ! "t_76974_a91_SIGPROF"?))) | (! ! "t_87544_a117_SIGVTALRM"?))
  end.
Property RERS17pb115-PT-8-ReachabilityFireability-09
  "Automatically generated"
  is:
    E F ((((! (("t_125486_a35_SIGIOT"?) | ("t_50828_a55_SIGCHLD"?))) | ((((("t_70882_a87_SIGPROF"?) & ("t_89881_a70_SIGTRAP"?))) & ("t_38611_a59_SIGABRT"?))))) & ("t_70855_a87_SIGPROF"?))
  end.
Property RERS17pb115-PT-8-ReachabilityFireability-10
  "Automatically generated"
  is:
    E F (("t_41346_a59_SIGABRT"?) | ("t_75768_a108_SIGUSR2"?))
  end.
Property RERS17pb115-PT-8-ReachabilityFireability-11
  "Automatically generated"
  is:
    E F ((! (((("t_62873_a105_SIGABRT"?) | ("t_14571_a92_SIGCHLD"?))) & ((("t_21527_a21_SIGPOLL"?) | ("t_136228_a10_SIGKILL"?))))) & (((((! "t_2120_a102_SIGSYS"?) & (! "t_92151_a38_SIGPROF"?))) & ("t_40995_a59_SIGABRT"?))))
  end.
Property RERS17pb115-PT-8-ReachabilityFireability-12
  "Automatically generated"
  is:
    A G ! "t_98007_a85_SIGIOT"?
  end.
Property RERS17pb115-PT-8-ReachabilityFireability-13
  "Automatically generated"
  is:
    E F ((((! (("t_108533_a103_SIGWINCH"?) & ("t_44835_a98_SIGINT"?))) & ("t_24711_a86_SIGHUP"?))) & ((((("t_140660_a72_SIGTTIN"?) | ("t_113087_a73_SIGFPE"?))) | ("t_37679_a14_SIGTSTP"?))))
  end.
Property RERS17pb115-PT-8-ReachabilityFireability-14
  "Automatically generated"
  is:
    A G ! (((((("t_4106_a104_SIGHUP"?) & ("t_3453_a54_SIGTTOU"?))) & ((("t_107052_a106_SIGUSR1"?) & ("t_143978_a115_SIGSEGV"?))))) | (((! "t_50306_a107_SIGKILL"?) & ("t_554_a13_SIGPIPE"?))))
  end.
Property RERS17pb115-PT-8-ReachabilityFireability-15
  "Automatically generated"
  is:
    E F ((! ! ! "t_48692_a109_SIGSYS"?) & (! ((! "t_18951_a116_SIGCONT"?) | (! "t_87319_a117_SIGVTALRM"?))))
  end.
