Procedure to reproduce bug:
1) load the model (will upload shortly)
2) make sure diagnostic trace is turned off
3) state space reuse is turned on
4) select all queries in verifier and click verify

Result:
all properties satisfied except "A[] not deadlock"

If this property is rechecked with diagnostic trace turned on, or without state space reuse, then verifier says that this property is satisfied.

I guess that something goes wrong with state space reuse, perhaps the state space gets reduced due to some earlier property and hence deadlock situation is created.