Property RERS17pb115-PT-9-ReachabilityFireability-00
  "Automatically generated"
  is:
    E F "t_25788_a86_SIGHUP"?
  end.
Property RERS17pb115-PT-9-ReachabilityFireability-01
  "Automatically generated"
  is:
    A G ((! ! (("t_74110_a87_SIGPROF"?) | ("t_68191_a20_SIGSYS"?))) | (! "t_83315_a15_SIGKILL"?))
  end.
Property RERS17pb115-PT-9-ReachabilityFireability-02
  "Automatically generated"
  is:
    E F "t_65086_a105_SIGABRT"?
  end.
Property RERS17pb115-PT-9-ReachabilityFireability-03
  "Automatically generated"
  is:
    E F ((((! "t_17463_a92_SIGCHLD"?) & ("t_89516_a70_SIGTRAP"?))) & (((((! "t_40688_a59_SIGABRT"?) & ((("t_120673_a28_SIGCONT"?) | ("t_109384_a103_SIGWINCH"?))))) | ((((("t_71974_a87_SIGPROF"?) & ("t_129718_a46_SIGHUP"?))) & ((("t_135900_a4_SIGQUIT"?) & ("t_130309_a50_SIGWINCH"?))))))))
  end.
Property RERS17pb115-PT-9-ReachabilityFireability-04
  "Automatically generated"
  is:
    E F ! ! "t_54726_a57_SIGHUP"?
  end.
Property RERS17pb115-PT-9-ReachabilityFireability-05
  "Automatically generated"
  is:
    A G (((((((("t_124424_a35_SIGIOT"?) | ("t_19703_a2_SIGUSR1"?))) | (! "t_106468_a106_SIGUSR1"?))) | (! ! "t_126995_a35_SIGIOT"?))) | ("t_61769_a114_SIGBUS"?))
  end.
Property RERS17pb115-PT-9-ReachabilityFireability-06
  "Automatically generated"
  is:
    E F (("t_76847_a91_SIGPROF"?) | (((! ! "t_138225_a17_SIGIOT"?) & ((((("t_51017_a55_SIGCHLD"?) | ("t_142649_a115_SIGSEGV"?))) & ((("t_27708_a86_SIGHUP"?) & ("t_18167_a111_SIGTRAP"?))))))))
  end.
Property RERS17pb115-PT-9-ReachabilityFireability-07
  "Automatically generated"
  is:
    E F (("t_50176_a88_SIGVTALRM"?) | ((((("t_3663_a104_SIGHUP"?) & ("t_10764_a34_SIGSTOP"?))) & (! (("t_137020_a6_SIGINFO"?) & ("t_52644_a57_SIGHUP"?))))))
  end.
Property RERS17pb115-PT-9-ReachabilityFireability-08
  "Automatically generated"
  is:
    E F ((! ! (("t_122083_a37_SIGTERM"?) | ("t_79297_a113_SIGLOST"?))) & (! (("t_3467_a54_SIGTTOU"?) & (! "t_21748_a64_SIGEMT"?))))
  end.
Property RERS17pb115-PT-9-ReachabilityFireability-09
  "Automatically generated"
  is:
    A G (((((((("t_84926_a15_SIGKILL"?) | ("t_29611_a119_SIGQUIT"?))) & ((("t_18611_a25_SIGURG"?) & ("t_134825_a4_SIGQUIT"?))))) | ((("t_71769_a87_SIGPROF"?) & (! "t_76091_a108_SIGUSR2"?))))) | (! (((("t_47527_a109_SIGSYS"?) & ("t_97321_a85_SIGIOT"?))) & ((("t_141492_a75_SIGQUIT"?) & ("t_118537_a28_SIGCONT"?))))))
  end.
Property RERS17pb115-PT-9-ReachabilityFireability-10
  "Automatically generated"
  is:
    A G ! (((((("t_74861_a108_SIGUSR2"?) | ("t_90680_a70_SIGTRAP"?))) & ((("t_75521_a108_SIGUSR2"?) & ("t_70927_a87_SIGPROF"?))))) & (! ! "t_71124_a87_SIGPROF"?))
  end.
Property RERS17pb115-PT-9-ReachabilityFireability-11
  "Automatically generated"
  is:
    E F ((((! "t_16883_a92_SIGCHLD"?) | (! (("t_135110_a4_SIGQUIT"?) & ("t_136194_a10_SIGKILL"?))))) & ("t_1894_a53_SIGPROF"?))
  end.
Property RERS17pb115-PT-9-ReachabilityFireability-12
  "Automatically generated"
  is:
    E F ((! ! "t_103001_a19_SIGWINCH"?) & (! ! "t_31362_a119_SIGQUIT"?))
  end.
Property RERS17pb115-PT-9-ReachabilityFireability-13
  "Automatically generated"
  is:
    E F (((((((("t_23604_a64_SIGEMT"?) | ("t_6703_a104_SIGHUP"?))) & ("t_104188_a19_SIGWINCH"?))) | (! (("t_25004_a86_SIGHUP"?) & ("t_107619_a77_SIGWINCH"?))))) & ("t_72184_a87_SIGPROF"?))
  end.
Property RERS17pb115-PT-9-ReachabilityFireability-14
  "Automatically generated"
  is:
    E F (("t_10877_a34_SIGSTOP"?) | ((((((("t_53835_a57_SIGHUP"?) & ("t_120901_a28_SIGCONT"?))) & ((("t_47831_a109_SIGSYS"?) | ("t_142318_a16_SIGALRM"?))))) & ("t_86182_a15_SIGKILL"?))))
  end.
Property RERS17pb115-PT-9-ReachabilityFireability-15
  "Automatically generated"
  is:
    E F "t_98780_a85_SIGIOT"?
  end.
