Property RERS17pb115-PT-9-00
  "Automatically generated"
  is:
    A ("t_12708_a76_SIGSTOP"? | G "t_119578_a28_SIGCONT"?)
  end.
Property RERS17pb115-PT-9-01
  "Automatically generated"
  is:
    A (F !X X "t_23879_a86_SIGHUP"? | (G "t_122988_a35_SIGIOT"? & G "t_119628_a28_SIGCONT"?))
  end.
Property RERS17pb115-PT-9-02
  "Automatically generated"
  is:
    A (!(!"t_7077_a104_SIGHUP"? | "t_14768_a92_SIGCHLD"?) U G F ("t_80517_a26_SIGILL"? | F G "t_14768_a92_SIGCHLD"?))
  end.
Property RERS17pb115-PT-9-03
  "Automatically generated"
  is:
    A G F ("t_89907_a70_SIGTRAP"? & "t_25518_a86_SIGHUP"? & X "t_89907_a70_SIGTRAP"?)
  end.
Property RERS17pb115-PT-9-04
  "Automatically generated"
  is:
    A G F (G F X "t_43484_a3_SIGURG"? & !X G ("t_43484_a3_SIGURG"? U "t_78232_a91_SIGPROF"?))
  end.
Property RERS17pb115-PT-9-05
  "Automatically generated"
  is:
    A (!"t_59618_a24_SIGURG"? | X F (X F "t_59618_a24_SIGURG"? | G !X !"t_27715_a86_SIGHUP"?))
  end.
Property RERS17pb115-PT-9-06
  "Automatically generated"
  is:
    A X (X ("t_135234_a4_SIGQUIT"? | F "t_135234_a4_SIGQUIT"?) U G "t_74386_a108_SIGUSR2"?)
  end.
Property RERS17pb115-PT-9-07
  "Automatically generated"
  is:
    A (!(X "t_36413_a14_SIGTSTP"? | F "t_36413_a14_SIGTSTP"?) | (G X "t_36413_a14_SIGTSTP"? U F "t_97983_a85_SIGIOT"?))
  end.
Property RERS17pb115-PT-9-08
  "Automatically generated"
  is:
    A !F (X "t_21321_a79_SIGTERM"? U !"t_61069_a114_SIGBUS"?)
  end.
Property RERS17pb115-PT-9-09
  "Automatically generated"
  is:
    A X (X G "t_101034_a32_SIGUSR1"? & F !"t_101034_a32_SIGUSR1"?)
  end.
Property RERS17pb115-PT-9-10
  "Automatically generated"
  is:
    A (X !"t_122083_a37_SIGTERM"? U "t_74667_a108_SIGUSR2"?)
  end.
Property RERS17pb115-PT-9-11
  "Automatically generated"
  is:
    A F (!X !"t_119210_a28_SIGCONT"? U "t_47815_a109_SIGSYS"?)
  end.
Property RERS17pb115-PT-9-12
  "Automatically generated"
  is:
    A (X "t_79912_a99_SIGINFO"? U X G "t_97818_a85_SIGIOT"?)
  end.
Property RERS17pb115-PT-9-13
  "Automatically generated"
  is:
    A !(F G "t_68512_a20_SIGSYS"? & X ("t_18801_a116_SIGCONT"? | "t_117809_a28_SIGCONT"?))
  end.
Property RERS17pb115-PT-9-14
  "Automatically generated"
  is:
    A (G X "t_136093_a10_SIGKILL"? & !G "t_37301_a14_SIGTSTP"?)
  end.
Property RERS17pb115-PT-9-15
  "Automatically generated"
  is:
    A !(!F ("t_116606_a100_SIGXFSZ"? | "t_41155_a59_SIGABRT"?) | X "t_12996_a76_SIGSTOP"?)
  end.
