Property RERS17pb113-PT-4-00
  "Automatically generated"
  is:
    A (G "t_12093_a30_SIGFPE"? | !X G "t_21438_a44_SIGINFO"?)
  end.
Property RERS17pb113-PT-4-01
  "Automatically generated"
  is:
    A (F G X (X "t_10758_a40_SIGTRAP"? U "t_7360_a72_SIGFPE"?) U "t_379_a79_SIGKILL"?)
  end.
Property RERS17pb113-PT-4-02
  "Automatically generated"
  is:
    A X (G "t_27498_a34_SIGPROF"? & F "t_19539_a20_SIGLOST"?)
  end.
Property RERS17pb113-PT-4-03
  "Automatically generated"
  is:
    A G X ((X F "t_17086_a18_SIGFPE"? U ("t_17994_a59_SIGPIPE"? & !"t_2536_a65_SIGUSR1"? & "t_23106_a11_SIGINFO"?)) U F "t_17086_a18_SIGFPE"?)
  end.
Property RERS17pb113-PT-4-04
  "Automatically generated"
  is:
    A (F !"t_17618_a59_SIGPIPE"? | X G ("t_8113_a15_SIGURG"? | "t_4504_a29_SIGCHLD"? | "t_20139_a20_SIGLOST"?))
  end.
Property RERS17pb113-PT-4-05
  "Automatically generated"
  is:
    A F G F ("t_15071_a6_SIGUSR2"? | G X F !G F ("t_13945_a54_SIGFPE"? | "t_15071_a6_SIGUSR2"?))
  end.
Property RERS17pb113-PT-4-06
  "Automatically generated"
  is:
    A X X !X X ("t_12849_a36_SIGDEADLK"? | F "t_15911_a6_SIGUSR2"?)
  end.
Property RERS17pb113-PT-4-07
  "Automatically generated"
  is:
    A F !((X "t_15011_a9_SIGCONT"? U ("t_20873_a57_SIGTRAP"? & G "t_18153_a59_SIGPIPE"?)) U !X G X "t_25720_a28_SIGPWR"?)
  end.
Property RERS17pb113-PT-4-08
  "Automatically generated"
  is:
    A !X (X ("t_6915_a16_SIGCHLD"? | X "t_6915_a16_SIGCHLD"?) U !G "t_6915_a16_SIGCHLD"?)
  end.
Property RERS17pb113-PT-4-09
  "Automatically generated"
  is:
    A (F X F !"t_15161_a6_SIGUSR2"? & (F X "t_15385_a6_SIGUSR2"? U ("t_19108_a50_SIGDEADLK"? & F "t_22694_a11_SIGINFO"?)))
  end.
Property RERS17pb113-PT-4-10
  "Automatically generated"
  is:
    A G !(("t_14393_a9_SIGCONT"? | G !"t_27270_a34_SIGPROF"?) & G (!"t_27270_a34_SIGPROF"? U "t_27270_a34_SIGPROF"?))
  end.
Property RERS17pb113-PT-4-11
  "Automatically generated"
  is:
    A X F (!"t_7398_a72_SIGFPE"? U ("t_8175_a15_SIGURG"? & (F X "t_17386_a59_SIGPIPE"? U X "t_9648_a45_SIGTSTP"?)))
  end.
Property RERS17pb113-PT-4-12
  "Automatically generated"
  is:
    A ((X !"t_26218_a60_SIGTERM"? U "t_26951_a12_SIGPIPE"?) & !("t_19606_a20_SIGLOST"? | X "t_26218_a60_SIGTERM"?))
  end.
Property RERS17pb113-PT-4-13
  "Automatically generated"
  is:
    A X !(F "t_21977_a4_SIGUSR2"? & !G X !("t_21977_a4_SIGUSR2"? U ("t_20596_a64_SIGINFO"? | X "t_15245_a6_SIGUSR2"?)))
  end.
Property RERS17pb113-PT-4-14
  "Automatically generated"
  is:
    A (G (!("t_22797_a11_SIGINFO"? & "t_2447_a65_SIGUSR1"?) | F G "t_2447_a65_SIGUSR1"?) U !F "t_18155_a59_SIGPIPE"?)
  end.
Property RERS17pb113-PT-4-15
  "Automatically generated"
  is:
    A ("t_11864_a25_SIGSEGV"? & !F !(G "t_22469_a4_SIGUSR2"? | X X ("t_9915_a40_SIGTRAP"? & F "t_27443_a34_SIGPROF"?)))
  end.
