It would be cool if pact verification warned if the verifier DSL is given states that are never used by any of the consumer contracts.