Property RERS17pb113-PT-8-ReachabilityFireability-00
  "Automatically generated"
  is:
    E F (("t_27178_a34_SIGPROF"?) & (((((! "t_11222_a17_SIGCONT"?) | ((("t_27046_a12_SIGPIPE"?) & ("t_4968_a62_SIGHUP"?))))) & ((((("t_798_a79_SIGKILL"?) | ("t_17170_a18_SIGFPE"?))) | ((("t_19081_a50_SIGDEADLK"?) | ("t_13242_a36_SIGDEADLK"?))))))))
  end.
Property RERS17pb113-PT-8-ReachabilityFireability-01
  "Automatically generated"
  is:
    A G ((((! (("t_14014_a54_SIGFPE"?) & ("t_1899_a71_SIGPOLL"?))) & ("t_29182_a26_SIGPWR"?))) | ((("t_21100_a44_SIGINFO"?) | ((((("t_1644_a71_SIGPOLL"?) | ("t_26664_a35_SIGUSR2"?))) | (! "t_11194_a17_SIGCONT"?))))))
  end.
Property RERS17pb113-PT-8-ReachabilityFireability-02
  "Automatically generated"
  is:
    E F "t_24136_a19_SIGPROF"?
  end.
Property RERS17pb113-PT-8-ReachabilityFireability-03
  "Automatically generated"
  is:
    E F "t_118_a78_SIGEMT"?
  end.
Property RERS17pb113-PT-8-ReachabilityFireability-04
  "Automatically generated"
  is:
    E F (((("t_1055_a79_SIGKILL"?) & ("t_20961_a57_SIGTRAP"?))) | ("t_25550_a28_SIGPWR"?))
  end.
Property RERS17pb113-PT-8-ReachabilityFireability-05
  "Automatically generated"
  is:
    E F (((((((("t_30252_a7_SIGSTOP"?) & ("t_7252_a72_SIGFPE"?))) | (! "t_30679_a52_SIGFPE"?))) & ("t_30579_a52_SIGFPE"?))) & (((! (("t_2718_a65_SIGUSR1"?) | ("t_3459_a76_SIGTTIN"?))) | ("t_31067_a52_SIGFPE"?))))
  end.
Property RERS17pb113-PT-8-ReachabilityFireability-06
  "Automatically generated"
  is:
    E F (("t_11895_a25_SIGSEGV"?) & (! ((! "t_17098_a18_SIGFPE"?) & ((("t_14980_a9_SIGCONT"?) | ("t_8594_a55_SIGPROF"?))))))
  end.
Property RERS17pb113-PT-8-ReachabilityFireability-07
  "Automatically generated"
  is:
    E F ((! ! (("t_10261_a40_SIGTRAP"?) | ("t_23239_a11_SIGINFO"?))) | ((((((("t_31248_a52_SIGFPE"?) & ("t_10698_a40_SIGTRAP"?))) | (! "t_21681_a4_SIGUSR2"?))) & ((("t_4974_a62_SIGHUP"?) & ("t_10638_a40_SIGTRAP"?))))))
  end.
Property RERS17pb113-PT-8-ReachabilityFireability-08
  "Automatically generated"
  is:
    E F "t_10919_a14_SIGLOST"?
  end.
Property RERS17pb113-PT-8-ReachabilityFireability-09
  "Automatically generated"
  is:
    A G (((((((("t_19906_a20_SIGLOST"?) & ("t_19083_a50_SIGDEADLK"?))) & ((("t_3401_a76_SIGTTIN"?) & ("t_698_a79_SIGKILL"?))))) & ("t_13946_a54_SIGFPE"?))) | (! (((("t_12880_a36_SIGDEADLK"?) & ("t_19273_a50_SIGDEADLK"?))) & ((("t_748_a79_SIGKILL"?) | ("t_30447_a52_SIGFPE"?))))))
  end.
Property RERS17pb113-PT-8-ReachabilityFireability-10
  "Automatically generated"
  is:
    A G (((((((("t_16073_a21_SIGSEGV"?) & ("t_18839_a50_SIGDEADLK"?))) & (! "t_20018_a20_SIGLOST"?))) | (! (("t_21874_a4_SIGUSR2"?) & ("t_30688_a52_SIGFPE"?))))) | (! "t_23273_a11_SIGINFO"?))
  end.
Property RERS17pb113-PT-8-ReachabilityFireability-11
  "Automatically generated"
  is:
    E F (("t_5389_a43_SIGDEADLK"?) | (! ! (("t_19103_a50_SIGDEADLK"?) | ("t_15439_a6_SIGUSR2"?))))
  end.
Property RERS17pb113-PT-8-ReachabilityFireability-12
  "Automatically generated"
  is:
    A G ! (((((("t_24626_a19_SIGPROF"?) | ("t_23477_a11_SIGINFO"?))) & ((("t_9833_a45_SIGTSTP"?) | ("t_28876_a10_SIGABRT"?))))) & (! (("t_17516_a59_SIGPIPE"?) & ("t_24054_a19_SIGPROF"?))))
  end.
Property RERS17pb113-PT-8-ReachabilityFireability-13
  "Automatically generated"
  is:
    A G ! "t_13789_a54_SIGFPE"?
  end.
Property RERS17pb113-PT-8-ReachabilityFireability-14
  "Automatically generated"
  is:
    E F ((! ! (("t_22647_a11_SIGINFO"?) | ("t_16323_a21_SIGSEGV"?))) & ("t_20786_a57_SIGTRAP"?))
  end.
Property RERS17pb113-PT-8-ReachabilityFireability-15
  "Automatically generated"
  is:
    E F "t_1365_a71_SIGPOLL"?
  end.
