Binaryen: Skip defined functions when verifying imports

Author: chfast

src/binaryen.cpp

@@ -623,6 +623,10 @@ void BinaryenEngine::verifyContract(wasm::Module & module)
   };
 
   for (auto const& import: module.functions) {
+
+    if (import->body)  // Skip defined functions.
+      continue;
+
     ensureCondition(
       import->module == wasm::Name("ethereum")
 #if HERA_DEBUGGING