Property RERS17pb113-PT-5-00
  "Automatically generated"
  is:
    A X (!"t_12093_a30_SIGFPE"? U ("t_21438_a44_SIGINFO"? | !(G "t_12602_a36_SIGDEADLK"? U ("t_12093_a30_SIGFPE"? & X X "t_21438_a44_SIGINFO"?))))
  end.
Property RERS17pb113-PT-5-01
  "Automatically generated"
  is:
    A (F G "t_7360_a72_SIGFPE"? U ("t_379_a79_SIGKILL"? & !F G "t_17314_a18_SIGFPE"?))
  end.
Property RERS17pb113-PT-5-02
  "Automatically generated"
  is:
    A (G "t_19539_a20_SIGLOST"? & F ("t_26940_a12_SIGPIPE"? & "t_19539_a20_SIGLOST"?))
  end.
Property RERS17pb113-PT-5-03
  "Automatically generated"
  is:
    A X G X (X "t_17086_a18_SIGFPE"? U !X "t_2536_a65_SIGUSR1"?)
  end.
Property RERS17pb113-PT-5-04
  "Automatically generated"
  is:
    A !(!"t_8113_a15_SIGURG"? & !(F "t_20139_a20_SIGLOST"? & X G "t_8113_a15_SIGURG"?))
  end.
Property RERS17pb113-PT-5-05
  "Automatically generated"
  is:
    A F (X F G ("t_3385_a76_SIGTTIN"? U "t_3498_a76_SIGTTIN"?) & !X G !"t_15071_a6_SIGUSR2"?)
  end.
Property RERS17pb113-PT-5-06
  "Automatically generated"
  is:
    A G !(!X X (X "t_380_a79_SIGKILL"? U "t_380_a79_SIGKILL"?) & (!"t_24537_a19_SIGPROF"? | G "t_380_a79_SIGKILL"?))
  end.
Property RERS17pb113-PT-5-07
  "Automatically generated"
  is:
    A ("t_25720_a28_SIGPWR"? | X G F X G ("t_7051_a72_SIGFPE"? | !X F "t_25720_a28_SIGPWR"?))
  end.
Property RERS17pb113-PT-5-08
  "Automatically generated"
  is:
    A !(G "t_16263_a21_SIGSEGV"? U F (!"t_19958_a20_SIGLOST"? & "t_25438_a28_SIGPWR"?))
  end.
Property RERS17pb113-PT-5-09
  "Automatically generated"
  is:
    A ("t_22694_a11_SIGINFO"? | "t_12950_a36_SIGDEADLK"? | F ("t_15385_a6_SIGUSR2"? | !X !"t_15385_a6_SIGUSR2"?))
  end.
Property RERS17pb113-PT-5-10
  "Automatically generated"
  is:
    A ("t_27270_a34_SIGPROF"? & "t_14393_a9_SIGCONT"? & X "t_14393_a9_SIGCONT"? & !G F "t_9084_a31_SIGQUIT"?)
  end.
Property RERS17pb113-PT-5-11
  "Automatically generated"
  is:
    A F (!"t_17386_a59_SIGPIPE"? | (X "t_3424_a76_SIGTTIN"? U !"t_3424_a76_SIGTTIN"?))
  end.
Property RERS17pb113-PT-5-12
  "Automatically generated"
  is:
    A F ((X ("t_19606_a20_SIGLOST"? & (X "t_26218_a60_SIGTERM"? U G "t_19606_a20_SIGLOST"?)) U F G "t_29685_a77_SIGTTIN"?) U "t_29685_a77_SIGTTIN"?)
  end.
Property RERS17pb113-PT-5-13
  "Automatically generated"
  is:
    A !F X (G "t_15245_a6_SIGUSR2"? U "t_19492_a20_SIGLOST"?)
  end.
Property RERS17pb113-PT-5-14
  "Automatically generated"
  is:
    A !G X F (("t_16146_a21_SIGSEGV"? | G ("t_16146_a21_SIGSEGV"? & X "t_2447_a65_SIGUSR1"?)) U "t_2447_a65_SIGUSR1"?)
  end.
Property RERS17pb113-PT-5-15
  "Automatically generated"
  is:
    A G F "t_11864_a25_SIGSEGV"?
  end.
