// #TestSpec: rt-inconsistent:req1+req2; vacuous:; inconsistent:; results: 4
Input A is int
Input B is bool

req1: Globally, it is always the case that if "abs(A) > 10" holds then "B" holds for at least "10" time units.
req2: Globally, it is always the case that if "abs(A) > 5" holds then "!B" holds after at most "10" time units.