diff --git a/src/mir/builder/loop_frontend_binding.rs b/src/mir/builder/loop_frontend_binding.rs
index 32812ded..0b4a3f15 100644
--- a/src/mir/builder/loop_frontend_binding.rs
+++ b/src/mir/builder/loop_frontend_binding.rs
@@ -385,10 +385,15 @@ mod tests {
         assert_eq!(acc_local["expr"]["type"], "NewBox");
         assert_eq!(acc_local["expr"]["box_name"], "ArrayBox");
 
-        // n should reference the "n" variable (Var type)
+        // Phase 56: n should be arr.size() method call (not a Var anymore)
         assert_eq!(n_local["name"], "n");
-        assert_eq!(n_local["expr"]["type"], "Var");
-        assert_eq!(n_local["expr"]["name"], "n");
+        assert_eq!(n_local["expr"]["type"], "Method");
+        assert_eq!(n_local["expr"]["method"], "size");
+
+        // receiver should be a simple Var node pointing to "arr"
+        let receiver = &n_local["expr"]["receiver"];
+        assert_eq!(receiver["type"], "Var");
+        assert_eq!(receiver["name"], "arr");
     }
 
     // Phase 52: receiver_to_json のテスト