Property RERS17pb115-PT-9-CTLFireability-00
  "Automatically generated"
  is:
    (("t_47166_a109_SIGSYS"?) | (E X A G ! "t_1756_a53_SIGPROF"?))
  end.
Property RERS17pb115-PT-9-CTLFireability-01
  "Automatically generated"
  is:
    E (("t_72939_a87_SIGPROF"?) U (A F (("t_18404_a25_SIGURG"?) & ("t_38975_a59_SIGABRT"?))))
  end.
Property RERS17pb115-PT-9-CTLFireability-02
  "Automatically generated"
  is:
    ! E G E F ! "t_140788_a72_SIGTTIN"?
  end.
Property RERS17pb115-PT-9-CTLFireability-03
  "Automatically generated"
  is:
    (((("t_62225_a105_SIGABRT"?) | (((E F (("t_104622_a19_SIGWINCH"?) | ("t_38435_a59_SIGABRT"?))) | (((((! "t_22171_a64_SIGEMT"?) & ("t_53717_a57_SIGHUP"?))) | ("t_114326_a100_SIGXFSZ"?))))))) | (E G A X "t_104857_a19_SIGWINCH"?))
  end.
Property RERS17pb115-PT-9-CTLFireability-04
  "Automatically generated"
  is:
    E G ! "t_9621_a34_SIGSTOP"?
  end.
Property RERS17pb115-PT-9-CTLFireability-05
  "Automatically generated"
  is:
    E F "t_193_a71_SIGPROF"?
  end.
Property RERS17pb115-PT-9-CTLFireability-06
  "Automatically generated"
  is:
    E F (((((((("t_137061_a6_SIGINFO"?) | ("t_29146_a119_SIGQUIT"?))) & ((("t_45246_a109_SIGSYS"?) | ("t_68205_a20_SIGSYS"?))))) | ((("t_99792_a32_SIGUSR1"?) & ((("t_16109_a92_SIGCHLD"?) | ("t_92918_a38_SIGPROF"?))))))) | (A (("t_57923_a24_SIGURG"?) U ("t_94509_a29_SIGUSR1"?))))
  end.
Property RERS17pb115-PT-9-CTLFireability-07
  "Automatically generated"
  is:
    E X E G A F "t_122371_a37_SIGTERM"?
  end.
Property RERS17pb115-PT-9-CTLFireability-08
  "Automatically generated"
  is:
    A G ! E F "t_58679_a24_SIGURG"?
  end.
Property RERS17pb115-PT-9-CTLFireability-09
  "Automatically generated"
  is:
    E ((! "t_96347_a85_SIGIOT"?) U (((E G "t_84356_a15_SIGKILL"?) & ((((("t_142233_a16_SIGALRM"?) & ("t_56321_a24_SIGURG"?))) & (! "t_6161_a104_SIGHUP"?))))))
  end.
Property RERS17pb115-PT-9-CTLFireability-10
  "Automatically generated"
  is:
    A F E X "t_63037_a105_SIGABRT"?
  end.
Property RERS17pb115-PT-9-CTLFireability-11
  "Automatically generated"
  is:
    E G ((((A G "t_45703_a109_SIGSYS"?) & (A G "t_62690_a105_SIGABRT"?))) | (! E G "t_88358_a36_SIGCONT"?))
  end.
Property RERS17pb115-PT-9-CTLFireability-12
  "Automatically generated"
  is:
    A F ((E G (("t_62891_a105_SIGABRT"?) & ("t_102662_a19_SIGWINCH"?))) & (! E G "t_11757_a34_SIGSTOP"?))
  end.
Property RERS17pb115-PT-9-CTLFireability-13
  "Automatically generated"
  is:
    ! E X E F (("t_13481_a42_SIGDEADLK"?) & ("t_118737_a28_SIGCONT"?))
  end.
Property RERS17pb115-PT-9-CTLFireability-14
  "Automatically generated"
  is:
    ((A F "t_77987_a91_SIGPROF"?) & (! ((E (("t_74807_a108_SIGUSR2"?) U ("t_29913_a119_SIGQUIT"?))) | (((A G "t_12138_a7_SIGPIPE"?) & ((((("t_143484_a115_SIGSEGV"?) | ("t_16516_a92_SIGCHLD"?))) & (! "t_62709_a105_SIGABRT"?))))))))
  end.
Property RERS17pb115-PT-9-CTLFireability-15
  "Automatically generated"
  is:
    ! ((A G ! (("t_106942_a106_SIGUSR1"?) | ("t_55440_a57_SIGHUP"?))) & (E F (((("t_119616_a28_SIGCONT"?) & ("t_22504_a64_SIGEMT"?))) | ((("t_33779_a97_SIGFPE"?) & ("t_59385_a24_SIGURG"?))))))
  end.
