// #TestSpec: redundant:req1,req2, req3; results:-1
Input A IS bool
Input B IS bool

req1: Globally, it is always the case that "A" holds
req2: Globally, it is always the case that "B" holds
req3: Globally, it is always the case that "A == B" holds