Property RERS17pb114-PT-9-ReachabilityFireability-00
  "Automatically generated"
  is:
    E F "t_81579_a4_SIGTSTP"?
  end.
Property RERS17pb114-PT-9-ReachabilityFireability-01
  "Automatically generated"
  is:
    E F ((! ! (("t_139627_a90_SIGINFO"?) & ("t_90990_a44_SIGDEADLK"?))) & (((! (("t_97940_a22_SIGSTOP"?) & ("t_130170_a21_SIGINFO"?))) | (! (("t_78088_a30_SIGBUS"?) & ("t_130371_a21_SIGINFO"?))))))
  end.
Property RERS17pb114-PT-9-ReachabilityFireability-02
  "Automatically generated"
  is:
    A G ((! "t_145344_a6_SIGSEGV"?) | ((("t_94160_a105_SIGEMT"?) | ("t_2300_a56_SIGPWR"?))))
  end.
Property RERS17pb114-PT-9-ReachabilityFireability-03
  "Automatically generated"
  is:
    E F ((((! ! "t_19708_a9_SIGQUIT"?) | ((((("t_78669_a30_SIGBUS"?) | ("t_71570_a24_SIGCHLD"?))) | ((("t_30413_a109_SIGTRAP"?) & ("t_12112_a111_SIGTTOU"?))))))) & ("t_66872_a23_SIGHUP"?))
  end.
Property RERS17pb114-PT-9-ReachabilityFireability-04
  "Automatically generated"
  is:
    E F "t_144933_a6_SIGSEGV"?
  end.
Property RERS17pb114-PT-9-ReachabilityFireability-05
  "Automatically generated"
  is:
    A G ! (((("t_110340_a62_SIGTRAP"?) & ((("t_43769_a117_SIGPWR"?) & ("t_118228_a72_SIGTERM"?))))) | (! ! "t_41461_a107_SIGPWR"?))
  end.
Property RERS17pb114-PT-9-ReachabilityFireability-06
  "Automatically generated"
  is:
    E F "t_121501_a102_SIGTERM"?
  end.
Property RERS17pb114-PT-9-ReachabilityFireability-07
  "Automatically generated"
  is:
    E F "t_103876_a58_SIGTERM"?
  end.
Property RERS17pb114-PT-9-ReachabilityFireability-08
  "Automatically generated"
  is:
    A G ! (("t_7974_a59_SIGUSR1"?) | ((("t_44860_a117_SIGPWR"?) & ("t_15609_a10_SIGTSTP"?))))
  end.
Property RERS17pb114-PT-9-ReachabilityFireability-09
  "Automatically generated"
  is:
    A G (((("t_146210_a119_SIGSTOP"?) & (((! "t_25054_a93_SIGTRAP"?) | ((("t_64094_a26_SIGCHLD"?) | ("t_108966_a15_SIGPOLL"?))))))) | (! (((("t_74230_a24_SIGCHLD"?) & ("t_1369_a99_SIGILL"?))) & ((("t_149322_a73_SIGURG"?) & ("t_36893_a20_SIGSTOP"?))))))
  end.
Property RERS17pb114-PT-9-ReachabilityFireability-10
  "Automatically generated"
  is:
    A G ((((! (("t_52727_a42_SIGDEADLK"?) | ("t_32861_a46_SIGBUS"?))) | (! "t_106037_a82_SIGBUS"?))) & (! (((("t_51820_a42_SIGDEADLK"?) | ("t_105805_a82_SIGBUS"?))) | ((("t_127044_a71_SIGVTALRM"?) | ("t_129795_a21_SIGINFO"?))))))
  end.
Property RERS17pb114-PT-9-ReachabilityFireability-11
  "Automatically generated"
  is:
    A G ! "t_45014_a117_SIGPWR"?
  end.
Property RERS17pb114-PT-9-ReachabilityFireability-12
  "Automatically generated"
  is:
    E F (((("t_41909_a107_SIGPWR"?) & ("t_67550_a23_SIGHUP"?))) | ("t_36155_a75_SIGUSR2"?))
  end.
Property RERS17pb114-PT-9-ReachabilityFireability-13
  "Automatically generated"
  is:
    E F (((((("t_106606_a82_SIGBUS"?) | ((("t_58188_a34_SIGTSTP"?) | ("t_25258_a93_SIGTRAP"?))))) | ((("t_129208_a21_SIGINFO"?) & ((("t_61969_a26_SIGCHLD"?) | ("t_137397_a14_SIGDEADLK"?))))))) | ((((((("t_35381_a75_SIGUSR2"?) & ("t_117762_a96_SIGABRT"?))) & ((("t_22719_a93_SIGTRAP"?) & ("t_134417_a84_SIGINT"?))))) | ((((("t_122465_a102_SIGTERM"?) & ("t_67396_a23_SIGHUP"?))) | ("t_148195_a73_SIGURG"?))))))
  end.
Property RERS17pb114-PT-9-ReachabilityFireability-14
  "Automatically generated"
  is:
    A G ((((! "t_145187_a6_SIGSEGV"?) | ((("t_18978_a63_SIGUSR2"?) | (! "t_46019_a117_SIGPWR"?))))) & (! (((("t_104256_a58_SIGTERM"?) & ("t_13936_a101_SIGUSR2"?))) | ((("t_122357_a102_SIGTERM"?) | ("t_94564_a22_SIGSTOP"?))))))
  end.
Property RERS17pb114-PT-9-ReachabilityFireability-15
  "Automatically generated"
  is:
    A G (("t_117041_a96_SIGABRT"?) | (! ((! "t_94026_a105_SIGEMT"?) & ((("t_111160_a62_SIGTRAP"?) & ("t_139100_a27_SIGALRM"?))))))
  end.
