Property RERS17pb113-PT-4-LTLFireability-00
  "Automatically generated"
  is:
    A (F G X "t_24231_a19_SIGPROF"? | !(!G "t_31147_a52_SIGFPE"? U G X G "t_25810_a28_SIGPWR"?))
  end.
Property RERS17pb113-PT-4-LTLFireability-01
  "Automatically generated"
  is:
    A X !X X (G F G "t_21357_a44_SIGINFO"? | X "t_14007_a54_SIGFPE"?)
  end.
Property RERS17pb113-PT-4-LTLFireability-02
  "Automatically generated"
  is:
    A !(G "t_15906_a6_SIGUSR2"? U X X ("t_13608_a54_SIGFPE"? & ("t_13608_a54_SIGFPE"? U "t_1614_a71_SIGPOLL"?)))
  end.
Property RERS17pb113-PT-4-LTLFireability-03
  "Automatically generated"
  is:
    A !(F "t_5985_a32_SIGWINCH"? | (X "t_5185_a43_SIGDEADLK"? & X F ("t_27315_a34_SIGPROF"? U F "t_27315_a34_SIGPROF"?)))
  end.
Property RERS17pb113-PT-4-LTLFireability-04
  "Automatically generated"
  is:
    A G !("t_18084_a59_SIGPIPE"? & "t_18004_a59_SIGPIPE"?)
  end.
Property RERS17pb113-PT-4-LTLFireability-05
  "Automatically generated"
  is:
    A (X "t_9948_a40_SIGTRAP"? & !("t_29027_a10_SIGABRT"? | F "t_29027_a10_SIGABRT"?))
  end.
Property RERS17pb113-PT-4-LTLFireability-06
  "Automatically generated"
  is:
    A (G ("t_14027_a9_SIGCONT"? U X "t_14027_a9_SIGCONT"?) & F (F ("t_16526_a18_SIGFPE"? U F !"t_28931_a10_SIGABRT"?) U "t_13046_a36_SIGDEADLK"?))
  end.
Property RERS17pb113-PT-4-LTLFireability-07
  "Automatically generated"
  is:
    A !G !((!"t_23749_a5_SIGINFO"? & "t_9161_a31_SIGQUIT"?) | (X !"t_23350_a11_SIGINFO"? & G !"t_3943_a29_SIGCHLD"?))
  end.
Property RERS17pb113-PT-4-LTLFireability-08
  "Automatically generated"
  is:
    A (G ("t_3613_a76_SIGTTIN"? & G "t_8265_a56_SIGWINCH"?) | (!X !"t_8941_a31_SIGQUIT"? U X ("t_4687_a29_SIGCHLD"? | "t_8265_a56_SIGWINCH"?)))
  end.
Property RERS17pb113-PT-4-LTLFireability-09
  "Automatically generated"
  is:
    A X !(G "t_20859_a57_SIGTRAP"? & !F X !("t_27242_a34_SIGPROF"? | X "t_27242_a34_SIGPROF"?))
  end.
Property RERS17pb113-PT-4-LTLFireability-10
  "Automatically generated"
  is:
    A (F X "t_24755_a19_SIGPROF"? | !G "t_10978_a14_SIGLOST"? | ("t_24755_a19_SIGPROF"? & !G "t_24755_a19_SIGPROF"?))
  end.
Property RERS17pb113-PT-4-LTLFireability-11
  "Automatically generated"
  is:
    A G F X (G ("t_9832_a45_SIGTSTP"? U F "t_22104_a4_SIGUSR2"?) & !("t_14056_a9_SIGCONT"? U G !"t_5013_a62_SIGHUP"?))
  end.
Property RERS17pb113-PT-4-LTLFireability-12
  "Automatically generated"
  is:
    A F X (!"t_24420_a19_SIGPROF"? | "t_29507_a38_SIGCHLD"? | G "t_9120_a31_SIGQUIT"? | ("t_24420_a19_SIGPROF"? U X !"t_24420_a19_SIGPROF"?))
  end.
Property RERS17pb113-PT-4-LTLFireability-13
  "Automatically generated"
  is:
    A (F "t_10944_a14_SIGLOST"? U G X ("t_24074_a19_SIGPROF"? | (X X "t_30460_a52_SIGFPE"? U !"t_12825_a36_SIGDEADLK"?)))
  end.
Property RERS17pb113-PT-4-LTLFireability-14
  "Automatically generated"
  is:
    A G ("t_5202_a43_SIGDEADLK"? & G F G F !G F "t_13713_a54_SIGFPE"?)
  end.
Property RERS17pb113-PT-4-LTLFireability-15
  "Automatically generated"
  is:
    A G (G X G "t_30233_a7_SIGSTOP"? | !(G "t_10384_a40_SIGTRAP"? U "t_19628_a20_SIGLOST"?))
  end.
