Property RERS17pb115-PT-8-00
  "Automatically generated"
  is:
    A (G "t_75902_a108_SIGUSR2"? | (F "t_75902_a108_SIGUSR2"? & !X (!"t_141297_a75_SIGQUIT"? U G "t_141297_a75_SIGQUIT"?)))
  end.
Property RERS17pb115-PT-8-01
  "Automatically generated"
  is:
    A F G (F X "t_71407_a87_SIGPROF"? U !F ("t_30286_a119_SIGQUIT"? & G (X "t_30286_a119_SIGQUIT"? U "t_132536_a47_SIGILL"?)))
  end.
Property RERS17pb115-PT-8-02
  "Automatically generated"
  is:
    A (G "t_57880_a24_SIGURG"? U "t_86402_a15_SIGKILL"?)
  end.
Property RERS17pb115-PT-8-03
  "Automatically generated"
  is:
    A (!F G "t_104769_a19_SIGWINCH"? | X X (!F "t_55604_a44_SIGURG"? | !X F "t_104769_a19_SIGWINCH"?))
  end.
Property RERS17pb115-PT-8-04
  "Automatically generated"
  is:
    A (G ("t_427_a71_SIGPROF"? | ("t_102446_a19_SIGWINCH"? & "t_32162_a31_SIGQUIT"? & X !X "t_64867_a105_SIGABRT"?)) U "t_64867_a105_SIGABRT"?)
  end.
Property RERS17pb115-PT-8-05
  "Automatically generated"
  is:
    A X G (("t_139961_a1_SIGSYS"? & "t_82863_a94_SIGPOLL"?) | F "t_82863_a94_SIGPOLL"? | (!"t_26259_a86_SIGHUP"? U F G "t_132937_a47_SIGILL"?))
  end.
Property RERS17pb115-PT-8-06
  "Automatically generated"
  is:
    A (!"t_50514_a55_SIGCHLD"? | X G !"t_119189_a28_SIGCONT"?)
  end.
Property RERS17pb115-PT-8-07
  "Automatically generated"
  is:
    A X G (X F G X "t_131082_a50_SIGWINCH"? U F G !"t_131082_a50_SIGWINCH"?)
  end.
Property RERS17pb115-PT-8-08
  "Automatically generated"
  is:
    A G !("t_60800_a78_SIGQUIT"? & F "t_66244_a20_SIGSYS"?)
  end.
Property RERS17pb115-PT-8-09
  "Automatically generated"
  is:
    A !G ("t_113483_a73_SIGFPE"? & !"t_78955_a30_SIGXFSZ"? & X "t_1560_a53_SIGPROF"?)
  end.
Property RERS17pb115-PT-8-10
  "Automatically generated"
  is:
    A X (F X ("t_140349_a1_SIGSYS"? & "t_117359_a100_SIGXFSZ"? & ("t_53415_a57_SIGHUP"? | "t_70902_a87_SIGPROF"?)) & G F G "t_117359_a100_SIGXFSZ"?)
  end.
Property RERS17pb115-PT-8-11
  "Automatically generated"
  is:
    A !X !(F "t_57074_a24_SIGURG"? | G "t_57074_a24_SIGURG"?)
  end.
Property RERS17pb115-PT-8-12
  "Automatically generated"
  is:
    A F "t_99906_a32_SIGUSR1"?
  end.
Property RERS17pb115-PT-8-13
  "Automatically generated"
  is:
    A G !(F !("t_134845_a4_SIGQUIT"? | "t_97524_a85_SIGIOT"?) U !G "t_134845_a4_SIGQUIT"?)
  end.
Property RERS17pb115-PT-8-14
  "Automatically generated"
  is:
    A !G F !"t_24886_a86_SIGHUP"?
  end.
Property RERS17pb115-PT-8-15
  "Automatically generated"
  is:
    A (!F "t_24686_a86_SIGHUP"? | ("t_24686_a86_SIGHUP"? & G (G "t_23029_a64_SIGEMT"? U F "t_33598_a97_SIGFPE"?)))
  end.
