Add 'empty' query methods to the builder and use them in the verifier.
Use a 'continue' here to stop from double lexing.