wipe out closures when generating wrappers
verifier's short circuit