Fix verified double `with` verification for method stubs.