Property RERS17pb113-PT-4-ReachabilityFireability-00
  "Automatically generated"
  is:
    E F ! ! (((("t_29601_a77_SIGTTIN"?) | ("t_25724_a28_SIGPWR"?))) | ((("t_2011_a71_SIGPOLL"?) & ("t_8405_a56_SIGWINCH"?))))
  end.
Property RERS17pb113-PT-4-ReachabilityFireability-01
  "Automatically generated"
  is:
    E F "t_30394_a52_SIGFPE"?
  end.
Property RERS17pb113-PT-4-ReachabilityFireability-02
  "Automatically generated"
  is:
    E F "t_12773_a36_SIGDEADLK"?
  end.
Property RERS17pb113-PT-4-ReachabilityFireability-03
  "Automatically generated"
  is:
    E F (("t_19212_a50_SIGDEADLK"?) & (((! (("t_18180_a59_SIGPIPE"?) | ("t_15316_a6_SIGUSR2"?))) & (! (("t_4097_a29_SIGCHLD"?) | ("t_19927_a20_SIGLOST"?))))))
  end.
Property RERS17pb113-PT-4-ReachabilityFireability-04
  "Automatically generated"
  is:
    E F "t_11136_a14_SIGLOST"?
  end.
Property RERS17pb113-PT-4-ReachabilityFireability-05
  "Automatically generated"
  is:
    A G ! ((((! "t_13392_a36_SIGDEADLK"?) & ("t_14362_a9_SIGCONT"?))) & (((! "t_17274_a18_SIGFPE"?) | (! "t_1835_a71_SIGPOLL"?))))
  end.
Property RERS17pb113-PT-4-ReachabilityFireability-06
  "Automatically generated"
  is:
    E F "t_30364_a52_SIGFPE"?
  end.
Property RERS17pb113-PT-4-ReachabilityFireability-07
  "Automatically generated"
  is:
    E F (((("t_30539_a52_SIGFPE"?) | ((((("t_9028_a31_SIGQUIT"?) | ("t_15345_a6_SIGUSR2"?))) & ("t_7137_a72_SIGFPE"?))))) | ("t_17726_a59_SIGPIPE"?))
  end.
Property RERS17pb113-PT-4-ReachabilityFireability-08
  "Automatically generated"
  is:
    E F (("t_23598_a5_SIGINFO"?) | ((("t_24883_a3_SIGBUS"?) & (! (("t_4937_a62_SIGHUP"?) | ("t_1585_a71_SIGPOLL"?))))))
  end.
Property RERS17pb113-PT-4-ReachabilityFireability-09
  "Automatically generated"
  is:
    E F "t_10160_a40_SIGTRAP"?
  end.
Property RERS17pb113-PT-4-ReachabilityFireability-10
  "Automatically generated"
  is:
    E F ((! ! (("t_23632_a5_SIGINFO"?) & ("t_15411_a6_SIGUSR2"?))) | ("t_6772_a2_SIGVTALRM"?))
  end.
Property RERS17pb113-PT-4-ReachabilityFireability-11
  "Automatically generated"
  is:
    A G ! ! ((! "t_21816_a4_SIGUSR2"?) | (! "t_21557_a4_SIGUSR2"?))
  end.
Property RERS17pb113-PT-4-ReachabilityFireability-12
  "Automatically generated"
  is:
    E F "t_29576_a38_SIGCHLD"?
  end.
Property RERS17pb113-PT-4-ReachabilityFireability-13
  "Automatically generated"
  is:
    E F (((((((("t_16187_a21_SIGSEGV"?) & ("t_25816_a28_SIGPWR"?))) | ("t_12742_a36_SIGDEADLK"?))) | ((((("t_29016_a10_SIGABRT"?) | ("t_25572_a28_SIGPWR"?))) & ((("t_7021_a72_SIGFPE"?) | ("t_5180_a43_SIGDEADLK"?))))))) | ("t_12685_a36_SIGDEADLK"?))
  end.
Property RERS17pb113-PT-4-ReachabilityFireability-14
  "Automatically generated"
  is:
    E F ((((! ! "t_4982_a62_SIGHUP"?) & (! ! "t_28529_a1_SIGTERM"?))) | ((("t_29730_a77_SIGTTIN"?) | ((((("t_10166_a40_SIGTRAP"?) & ("t_15152_a6_SIGUSR2"?))) & ("t_17785_a59_SIGPIPE"?))))))
  end.
Property RERS17pb113-PT-4-ReachabilityFireability-15
  "Automatically generated"
  is:
    E F (("t_7825_a66_SIGTRAP"?) & ("t_14861_a9_SIGCONT"?))
  end.
