Removing cardinality related methods from spy verifier.