// #TestSpec: rt-inconsistent:; vacuous:; inconsistent:; results: 4
Input a is bool
Input b is bool
Input c is bool

req1: Globally, it is always the case that if "c" holds, then "a" holds after at most "50" time units
req2: Globally, it is always the case that if "c" holds, then "b" holds after at most "50" time units

// no vacuities, not errors, expected=actual