// #TestSpec: rt-inconsistent:req1+req2; vacuous:; inconsistent:; results:-1
Input var3 is bool
Input var4 is bool
CONST MAX_TIME is 50.0
CONST time_every is 10.0



req1: Globally It is always the case that "var4" holds at least every "time_every" time units
req2: Globally It is always the case that After "var3" holds for at least "MAX_TIME" time units, then "!var4" holds