Property RERS17pb113-PT-8-00
  "Automatically generated"
  is:
    A X X (X !"t_29693_a77_SIGTTIN"? | !(X !F ("t_12093_a30_SIGFPE"? & "t_21438_a44_SIGINFO"?) U "t_23944_a19_SIGPROF"?))
  end.
Property RERS17pb113-PT-8-01
  "Automatically generated"
  is:
    A F !("t_10758_a40_SIGTRAP"? | X F ("t_128_a78_SIGEMT"? | X G "t_379_a79_SIGKILL"?))
  end.
Property RERS17pb113-PT-8-02
  "Automatically generated"
  is:
    A (X (G "t_27498_a34_SIGPROF"? | F ("t_19539_a20_SIGLOST"? | !X "t_8006_a15_SIGURG"?)) | ("t_12561_a36_SIGDEADLK"? U F "t_19539_a20_SIGLOST"?))
  end.
Property RERS17pb113-PT-8-03
  "Automatically generated"
  is:
    A (F G F "t_23106_a11_SIGINFO"? & F (!"t_17994_a59_SIGPIPE"? & ("t_17086_a18_SIGFPE"? | X "t_23106_a11_SIGINFO"?)))
  end.
Property RERS17pb113-PT-8-04
  "Automatically generated"
  is:
    A (G "t_1304_a71_SIGPOLL"? | F ("t_17618_a59_SIGPIPE"? & !G "t_1304_a71_SIGPOLL"?))
  end.
Property RERS17pb113-PT-8-05
  "Automatically generated"
  is:
    A G (G "t_15071_a6_SIGUSR2"? | F ("t_3498_a76_SIGTTIN"? & !(X "t_15071_a6_SIGUSR2"? U F "t_15071_a6_SIGUSR2"?)))
  end.
Property RERS17pb113-PT-8-06
  "Automatically generated"
  is:
    A !X ("t_12849_a36_SIGDEADLK"? & F (X F "t_24537_a19_SIGPROF"? U "t_24537_a19_SIGPROF"?))
  end.
Property RERS17pb113-PT-8-07
  "Automatically generated"
  is:
    A X F (F X ("t_25720_a28_SIGPWR"? | ("t_15011_a9_SIGCONT"? U X "t_7051_a72_SIGFPE"?)) U G "t_7051_a72_SIGFPE"?)
  end.
Property RERS17pb113-PT-8-08
  "Automatically generated"
  is:
    A !(G (!"t_6915_a16_SIGCHLD"? & "t_25438_a28_SIGPWR"?) U ("t_16263_a21_SIGSEGV"? U "t_6915_a16_SIGCHLD"?))
  end.
Property RERS17pb113-PT-8-09
  "Automatically generated"
  is:
    A ((("t_22694_a11_SIGINFO"? | X "t_22694_a11_SIGINFO"?) U F "t_19108_a50_SIGDEADLK"?) | ("t_12950_a36_SIGDEADLK"? & X F "t_15385_a6_SIGUSR2"?))
  end.
Property RERS17pb113-PT-8-10
  "Automatically generated"
  is:
    A F !G (X F X "t_27270_a34_SIGPROF"? U "t_15304_a6_SIGUSR2"?)
  end.
Property RERS17pb113-PT-8-11
  "Automatically generated"
  is:
    A X ("t_9648_a45_SIGTSTP"? & F "t_17386_a59_SIGPIPE"?)
  end.
Property RERS17pb113-PT-8-12
  "Automatically generated"
  is:
    A !G "t_19606_a20_SIGLOST"?
  end.
Property RERS17pb113-PT-8-13
  "Automatically generated"
  is:
    A G X X "t_15245_a6_SIGUSR2"?
  end.
Property RERS17pb113-PT-8-14
  "Automatically generated"
  is:
    A G X G ("t_16146_a21_SIGSEGV"? & F G (!"t_22797_a11_SIGINFO"? & "t_18155_a59_SIGPIPE"?))
  end.
Property RERS17pb113-PT-8-15
  "Automatically generated"
  is:
    A !("t_20114_a20_SIGLOST"? U X (!"t_11864_a25_SIGSEGV"? & F !("t_27443_a34_SIGPROF"? U "t_22469_a4_SIGUSR2"?)))
  end.
