Property RERS17pb114-PT-6-ReachabilityFireability-00
  "Automatically generated"
  is:
    E F (("t_140528_a90_SIGINFO"?) & (! (("t_93836_a105_SIGEMT"?) & ((("t_146300_a119_SIGSTOP"?) & ("t_67339_a23_SIGHUP"?))))))
  end.
Property RERS17pb114-PT-6-ReachabilityFireability-01
  "Automatically generated"
  is:
    E F "t_150893_a28_SIGINT"?
  end.
Property RERS17pb114-PT-6-ReachabilityFireability-02
  "Automatically generated"
  is:
    A G ! "t_65308_a64_SIGVTALRM"?
  end.
Property RERS17pb114-PT-6-ReachabilityFireability-03
  "Automatically generated"
  is:
    A G ! (((((("t_61324_a26_SIGCHLD"?) | ("t_114612_a89_SIGUSR2"?))) | ((("t_50604_a69_SIGTTOU"?) | ("t_11238_a111_SIGTTOU"?))))) & (! ! "t_10530_a35_SIGSTOP"?))
  end.
Property RERS17pb114-PT-6-ReachabilityFireability-04
  "Automatically generated"
  is:
    E F "t_78149_a30_SIGBUS"?
  end.
Property RERS17pb114-PT-6-ReachabilityFireability-05
  "Automatically generated"
  is:
    E F "t_88988_a83_SIGUSR2"?
  end.
Property RERS17pb114-PT-6-ReachabilityFireability-06
  "Automatically generated"
  is:
    A G (((((("t_130766_a21_SIGINFO"?) & (! "t_658_a99_SIGILL"?))) & ("t_71439_a24_SIGCHLD"?))) | (! (((("t_19156_a118_SIGVTALRM"?) & ("t_46109_a117_SIGPWR"?))) & ("t_36312_a75_SIGUSR2"?))))
  end.
Property RERS17pb114-PT-6-ReachabilityFireability-07
  "Automatically generated"
  is:
    E F (("t_53630_a18_SIGTERM"?) | ((((("t_101584_a51_SIGPWR"?) | ("t_11726_a111_SIGTTOU"?))) & ((((("t_23099_a93_SIGTRAP"?) & ("t_146960_a119_SIGSTOP"?))) & ("t_137769_a14_SIGDEADLK"?))))))
  end.
Property RERS17pb114-PT-6-ReachabilityFireability-08
  "Automatically generated"
  is:
    E F "t_106517_a82_SIGBUS"?
  end.
Property RERS17pb114-PT-6-ReachabilityFireability-09
  "Automatically generated"
  is:
    A G ! ! ! (("t_15536_a10_SIGTSTP"?) | ("t_141190_a90_SIGINFO"?))
  end.
Property RERS17pb114-PT-6-ReachabilityFireability-10
  "Automatically generated"
  is:
    A G ! (("t_35210_a75_SIGUSR2"?) & (! (("t_5314_a33_SIGKILL"?) & ("t_47057_a87_SIGALRM"?))))
  end.
Property RERS17pb114-PT-6-ReachabilityFireability-11
  "Automatically generated"
  is:
    E F ((! "t_63945_a26_SIGCHLD"?) & (! ! "t_100407_a51_SIGPWR"?))
  end.
Property RERS17pb114-PT-6-ReachabilityFireability-12
  "Automatically generated"
  is:
    E F (((("t_61469_a26_SIGCHLD"?) & ((("t_74640_a24_SIGCHLD"?) | ((("t_117445_a96_SIGABRT"?) & ("t_82544_a4_SIGTSTP"?))))))) & (! (("t_37839_a25_SIGINFO"?) | (! "t_33010_a46_SIGBUS"?))))
  end.
Property RERS17pb114-PT-6-ReachabilityFireability-13
  "Automatically generated"
  is:
    E F "t_104876_a58_SIGTERM"?
  end.
Property RERS17pb114-PT-6-ReachabilityFireability-14
  "Automatically generated"
  is:
    A G ((! "t_44908_a117_SIGPWR"?) & (! (((("t_99054_a51_SIGPWR"?) & ("t_66621_a23_SIGHUP"?))) & ("t_24261_a93_SIGTRAP"?))))
  end.
Property RERS17pb114-PT-6-ReachabilityFireability-15
  "Automatically generated"
  is:
    E F ((! (((("t_133925_a84_SIGINT"?) & ("t_18685_a40_SIGUSR1"?))) | ("t_64065_a26_SIGCHLD"?))) & ("t_37380_a25_SIGINFO"?))
  end.
