Make VerifyContext return a context reference