A Typo in Lamport Example

The variable q3 was accidentally left unconstrained in lamport.spec.