Property RERS17pb113-PT-3-LTLFireability-00
  "Automatically generated"
  is:
    A ("t_20303_a20_SIGLOST"? & (("t_10476_a40_SIGTRAP"? | ((X "t_16904_a18_SIGFPE"? U ("t_25261_a28_SIGPWR"? U "t_16904_a18_SIGFPE"?)) U X "t_29836_a77_SIGTTIN"?)) U "t_16904_a18_SIGFPE"?))
  end.
Property RERS17pb113-PT-3-LTLFireability-01
  "Automatically generated"
  is:
    A (G "t_8621_a55_SIGPROF"? | F (G "t_28930_a10_SIGABRT"? U ("t_3981_a29_SIGCHLD"? & "t_28930_a10_SIGABRT"?)))
  end.
Property RERS17pb113-PT-3-LTLFireability-02
  "Automatically generated"
  is:
    A X (G X ("t_2621_a65_SIGUSR1"? | G "t_2621_a65_SIGUSR1"?) U X "t_29010_a10_SIGABRT"?)
  end.
Property RERS17pb113-PT-3-LTLFireability-03
  "Automatically generated"
  is:
    A !(X X ("t_19914_a20_SIGLOST"? U X "t_19914_a20_SIGLOST"?) U !G "t_22975_a11_SIGINFO"?)
  end.
Property RERS17pb113-PT-3-LTLFireability-04
  "Automatically generated"
  is:
    A !F !(("t_18244_a59_SIGPIPE"? U X (F "t_8312_a56_SIGWINCH"? U "t_8312_a56_SIGWINCH"?)) U "t_8312_a56_SIGWINCH"?)
  end.
Property RERS17pb113-PT-3-LTLFireability-05
  "Automatically generated"
  is:
    A (!("t_16955_a18_SIGFPE"? U ("t_27017_a12_SIGPIPE"? & X "t_17116_a18_SIGFPE"?)) & (X ("t_16955_a18_SIGFPE"? U !"t_16955_a18_SIGFPE"?) U "t_17116_a18_SIGFPE"?))
  end.
Property RERS17pb113-PT-3-LTLFireability-06
  "Automatically generated"
  is:
    A X (X !"t_819_a79_SIGKILL"? & X G ("t_30387_a52_SIGFPE"? | X X "t_7446_a66_SIGTRAP"?))
  end.
Property RERS17pb113-PT-3-LTLFireability-07
  "Automatically generated"
  is:
    A (("t_14042_a9_SIGCONT"? & ("t_29027_a10_SIGABRT"? U !"t_14042_a9_SIGCONT"?)) U X !("t_29027_a10_SIGABRT"? & F "t_29027_a10_SIGABRT"?))
  end.
Property RERS17pb113-PT-3-LTLFireability-08
  "Automatically generated"
  is:
    A !("t_3337_a76_SIGTTIN"? & !("t_23388_a11_SIGINFO"? | G !"t_13946_a54_SIGFPE"?))
  end.
Property RERS17pb113-PT-3-LTLFireability-09
  "Automatically generated"
  is:
    A G X (X "t_13317_a36_SIGDEADLK"? | ("t_7_a78_SIGEMT"? & (G "t_23074_a11_SIGINFO"? U !X ("t_8162_a15_SIGURG"? U "t_2039_a71_SIGPOLL"?))))
  end.
Property RERS17pb113-PT-3-LTLFireability-10
  "Automatically generated"
  is:
    A (F (G "t_17050_a18_SIGFPE"? | G !F "t_17050_a18_SIGFPE"?) U G X ("t_19152_a50_SIGDEADLK"? & "t_21059_a44_SIGINFO"?))
  end.
Property RERS17pb113-PT-3-LTLFireability-11
  "Automatically generated"
  is:
    A (F X "t_11192_a17_SIGCONT"? U X X (!F G F X "t_882_a79_SIGKILL"? U "t_18282_a59_SIGPIPE"?))
  end.
Property RERS17pb113-PT-3-LTLFireability-12
"Automatically generated"
is:
A X !X !X G "t_25310_a28_SIGPWR"?
end.
Property RERS17pb113-PT-3-LTLFireability-13
"Automatically generated"
is:
A !G X !("t_18966_a50_SIGDEADLK"? & "t_26441_a60_SIGTERM"?)
end.
Property RERS17pb113-PT-3-LTLFireability-14
"Automatically generated"
is:
A F ((!("t_16692_a18_SIGFPE"? & X "t_16692_a18_SIGFPE"?) & ("t_24966_a3_SIGBUS"? | !G "t_24966_a3_SIGBUS"?)) U X "t_28027_a42_SIGSTOP"?)
end.
Property RERS17pb113-PT-3-LTLFireability-15
"Automatically generated"
is:
A F "t_6442_a32_SIGWINCH"?
end.
