Property RERS17pb114-PT-9-00
  "Automatically generated"
  is:
    A (F ("t_121796_a102_SIGTERM"? & (X "t_32604_a109_SIGTRAP"? U "t_121796_a102_SIGTERM"?)) & G X G "t_32604_a109_SIGTRAP"?)
  end.
Property RERS17pb114-PT-9-01
  "Automatically generated"
  is:
    A F X G (!"t_148890_a73_SIGURG"? | X !"t_29597_a109_SIGTRAP"? | F !("t_149271_a73_SIGURG"? & "t_29597_a109_SIGTRAP"?))
  end.
Property RERS17pb114-PT-9-02
  "Automatically generated"
  is:
    A (!"t_36506_a75_SIGUSR2"? & (G !"t_33536_a78_SIGSYS"? | ("t_40665_a39_SIGPROF"? & (F "t_23526_a93_SIGTRAP"? | !G "t_33536_a78_SIGSYS"?))))
  end.
Property RERS17pb114-PT-9-03
  "Automatically generated"
  is:
    A G X (("t_99419_a51_SIGPWR"? | F "t_85058_a41_SIGSEGV"?) U ("t_54746_a18_SIGTERM"? | ("t_99419_a51_SIGPWR"? U "t_85058_a41_SIGSEGV"?)))
  end.
Property RERS17pb114-PT-9-04
  "Automatically generated"
  is:
    A (X F "t_2066_a56_SIGPWR"? & (G "t_55819_a65_SIGUSR1"? | G "t_66041_a23_SIGHUP"? | G "t_109168_a15_SIGPOLL"?))
  end.
Property RERS17pb114-PT-9-05
  "Automatically generated"
  is:
    A G X !F G (!"t_130307_a21_SIGINFO"? U X ("t_836_a99_SIGILL"? | F "t_3459_a31_SIGXFSZ"?))
  end.
Property RERS17pb114-PT-9-06
  "Automatically generated"
  is:
    A !X F "t_125842_a88_SIGPWR"?
  end.
Property RERS17pb114-PT-9-07
  "Automatically generated"
  is:
    A F !(!"t_117643_a96_SIGABRT"? & G ("t_99188_a51_SIGPWR"? | F X "t_70658_a106_SIGKILL"? | X "t_78118_a30_SIGBUS"?))
  end.
Property RERS17pb114-PT-9-08
  "Automatically generated"
  is:
    A !F (F (F "t_127897_a71_SIGVTALRM"? | G !"t_127897_a71_SIGVTALRM"?) U !"t_67697_a23_SIGHUP"?)
  end.
Property RERS17pb114-PT-9-09
  "Automatically generated"
  is:
    A (!("t_68265_a23_SIGHUP"? & G "t_67823_a23_SIGHUP"?) & F X !X !"t_117451_a96_SIGABRT"?)
  end.
Property RERS17pb114-PT-9-10
  "Automatically generated"
  is:
    A (("t_88083_a83_SIGUSR2"? | "t_24186_a93_SIGTRAP"?) & G (X F !"t_55499_a65_SIGUSR1"? U X F G !"t_24186_a93_SIGTRAP"?))
  end.
Property RERS17pb114-PT-9-11
  "Automatically generated"
  is:
    A X F ("t_15361_a10_SIGTSTP"? | !(!"t_127321_a71_SIGVTALRM"? | "t_68425_a23_SIGHUP"?))
  end.
Property RERS17pb114-PT-9-12
  "Automatically generated"
  is:
    A ("t_38451_a25_SIGINFO"? | F X ("t_106401_a82_SIGBUS"? | "t_88937_a83_SIGUSR2"?))
  end.
Property RERS17pb114-PT-9-13
  "Automatically generated"
  is:
    A (G "t_10043_a17_SIGPROF"? & (F ("t_10043_a17_SIGPROF"? | !"t_10043_a17_SIGPROF"?) U G "t_10043_a17_SIGPROF"?))
  end.
Property RERS17pb114-PT-9-14
  "Automatically generated"
  is:
    A (!"t_119839_a104_SIGPIPE"? & "t_16718_a77_SIGXFSZ"? & F G ("t_85044_a41_SIGSEGV"? U !F "t_4843_a33_SIGKILL"?))
  end.
Property RERS17pb114-PT-9-15
  "Automatically generated"
  is:
    A !X F G !"t_39593_a110_SIGINT"?
  end.
