Bug fix: verifier didn't find unimplemented interface methods.