// #TestSpec: rt-inconsistent:req1; vacuous:; inconsistent:; results:-1
Input var3 is bool
CONST time_every is 10.0

Constraint_assumption: Globally it is always the case that "!var3" holds

req1: Globally It is always the case that "var3" holds at least every "time_every" time units