Property RERS17pb114-PT-5-ReachabilityFireability-00
  "Automatically generated"
  is:
    E F "t_11405_a111_SIGTTOU"?
  end.
Property RERS17pb114-PT-5-ReachabilityFireability-01
  "Automatically generated"
  is:
    E F "t_79495_a4_SIGTSTP"?
  end.
Property RERS17pb114-PT-5-ReachabilityFireability-02
  "Automatically generated"
  is:
    E F (((((("t_64088_a26_SIGCHLD"?) & ((("t_132298_a84_SIGINT"?) | ("t_125395_a88_SIGPWR"?))))) | (! (("t_114593_a89_SIGUSR2"?) | ("t_133570_a84_SIGINT"?))))) & ((("t_132727_a84_SIGINT"?) | ("t_136558_a14_SIGDEADLK"?))))
  end.
Property RERS17pb114-PT-5-ReachabilityFireability-03
  "Automatically generated"
  is:
    E F (("t_71041_a24_SIGCHLD"?) & ("t_40130_a110_SIGINT"?))
  end.
Property RERS17pb114-PT-5-ReachabilityFireability-04
  "Automatically generated"
  is:
    E F ! ! (((("t_30692_a109_SIGTRAP"?) | ("t_126110_a71_SIGVTALRM"?))) & ((("t_77645_a32_SIGILL"?) & ("t_100318_a51_SIGPWR"?))))
  end.
Property RERS17pb114-PT-5-ReachabilityFireability-05
  "Automatically generated"
  is:
    E F "t_107953_a15_SIGPOLL"?
  end.
Property RERS17pb114-PT-5-ReachabilityFireability-06
  "Automatically generated"
  is:
    E F (("t_4635_a33_SIGKILL"?) & (((! (("t_40670_a39_SIGPROF"?) | ("t_104934_a58_SIGTERM"?))) | ((((("t_62772_a26_SIGCHLD"?) & ("t_119577_a97_SIGFPE"?))) & ("t_92353_a44_SIGDEADLK"?))))))
  end.
Property RERS17pb114-PT-5-ReachabilityFireability-07
  "Automatically generated"
  is:
    E F "t_101471_a51_SIGPWR"?
  end.
Property RERS17pb114-PT-5-ReachabilityFireability-08
  "Automatically generated"
  is:
    E F (((("t_36157_a75_SIGUSR2"?) & ("t_47371_a87_SIGALRM"?))) & ((((((("t_86645_a113_SIGCHLD"?) | ("t_125864_a88_SIGPWR"?))) & ((("t_6205_a59_SIGUSR1"?) & ("t_76167_a114_SIGUSR1"?))))) | ((((("t_52602_a42_SIGDEADLK"?) | ("t_12410_a111_SIGTTOU"?))) | ((("t_19069_a63_SIGUSR2"?) | ("t_12310_a111_SIGTTOU"?))))))))
  end.
Property RERS17pb114-PT-5-ReachabilityFireability-09
  "Automatically generated"
  is:
    E F (((("t_78833_a4_SIGTSTP"?) | ((("t_73873_a24_SIGCHLD"?) | ("t_20396_a1_SIGSEGV"?))))) | ((((((("t_145930_a119_SIGSTOP"?) | ("t_43495_a117_SIGPWR"?))) & (! "t_40353_a39_SIGPROF"?))) | ("t_14078_a101_SIGUSR2"?))))
  end.
Property RERS17pb114-PT-5-ReachabilityFireability-10
  "Automatically generated"
  is:
    E F "t_64593_a64_SIGVTALRM"?
  end.
Property RERS17pb114-PT-5-ReachabilityFireability-11
  "Automatically generated"
  is:
    E F "t_3246_a31_SIGXFSZ"?
  end.
Property RERS17pb114-PT-5-ReachabilityFireability-12
  "Automatically generated"
  is:
    E F ! ! (("t_32815_a46_SIGBUS"?) | ((("t_92284_a44_SIGDEADLK"?) & ("t_34758_a43_SIGTTOU"?))))
  end.
Property RERS17pb114-PT-5-ReachabilityFireability-13
  "Automatically generated"
  is:
    E F (((((("t_19663_a9_SIGQUIT"?) & ((("t_121024_a102_SIGTERM"?) & ("t_45214_a117_SIGPWR"?))))) | ((("t_149217_a73_SIGURG"?) | ("t_32939_a46_SIGBUS"?))))) | ((("t_6547_a59_SIGUSR1"?) | ((((("t_57982_a34_SIGTSTP"?) | ("t_116164_a96_SIGABRT"?))) & ("t_80941_a4_SIGTSTP"?))))))
  end.
Property RERS17pb114-PT-5-ReachabilityFireability-14
  "Automatically generated"
  is:
    E F ! ((! "t_145673_a119_SIGSTOP"?) | ("t_2703_a56_SIGPWR"?))
  end.
Property RERS17pb114-PT-5-ReachabilityFireability-15
  "Automatically generated"
  is:
    E F (((((("t_32337_a109_SIGTRAP"?) & ((("t_20551_a1_SIGSEGV"?) & ("t_122242_a102_SIGTERM"?))))) & ((((("t_113158_a89_SIGUSR2"?) & ("t_84675_a41_SIGSEGV"?))) & ((("t_41619_a107_SIGPWR"?) & ("t_117502_a96_SIGABRT"?))))))) | (! ! "t_112190_a89_SIGUSR2"?))
  end.
