diff --git a/src/libasr/asr_verify.cpp b/src/libasr/asr_verify.cpp
index 5ad9d27391..62ab9180c6 100644
--- a/src/libasr/asr_verify.cpp
+++ b/src/libasr/asr_verify.cpp
@@ -422,7 +422,10 @@ class VerifyVisitor : public BaseWalkVisitor<VerifyVisitor>
     void visit_Function(const Function_t &x) {
         ASR::FunctionType_t* v_func_type = ASR::down_cast<ASR::FunctionType_t>(x.m_function_signature);
         if (v_func_type->m_abi == abiType::Interactive) {
-            // This function would have been verified in the previous interactive pass
+            require(x.n_body == 0,
+            "The Function::n_body should be 0 if abi set to Interactive");
+            require(x.m_body == nullptr,
+            "The Function::m_body should be null if abi set to Interactive");
             return;
         }
         std::vector<std::string> function_dependencies_copy = function_dependencies;