Add NestedStructs test

src/tests/integration/test-data/foundry-prove-all

@@ -186,6 +186,7 @@ MockCallRevertTest.testMockCallEmptyAccount()
 MockFunctionTest.test_mock_function()
 MockFunctionTest.test_mock_function_all_args()
 MockFunctionTest.test_mock_function_concrete_args()
+NestedStructsTest.prove_fourfold_nested_struct(((((uint8,uint256),bytes32)[],bytes32)))
 OwnerUpOnlyTest.testFailIncrementAsNotOwner()
 OwnerUpOnlyTest.testIncrementAsNotOwner()
 OwnerUpOnlyTest.testIncrementAsOwner()

src/tests/integration/test-data/foundry-prove-skip-legacy

@@ -183,6 +183,7 @@ MockCallRevertTest.testMockCallEmptyAccount()
 MockFunctionTest.test_mock_function()
 MockFunctionTest.test_mock_function_all_args()
 MockFunctionTest.test_mock_function_concrete_args()
+NestedStructsTest.prove_fourfold_nested_struct(((((uint8,uint256),bytes32)[],bytes32)))
 OwnerUpOnlyTest.testFailIncrementAsNotOwner()
 OwnerUpOnlyTest.testIncrementAsNotOwner()
 OwnerUpOnlyTest.testIncrementAsOwner()

src/tests/integration/test-data/foundry/test/NestedStructs.t.sol

@@ -0,0 +1,34 @@
+// SPDX-License-Identifier: UNLICENSED
+pragma solidity =0.8.13;
+
+import "forge-std/Test.sol";
+
+contract NestedStructsTest is Test {
+    struct Processor {
+        Window windows;
+    }
+
+    struct Window {
+        Frame[] frames;
+        bytes32 hash;
+    }
+
+    struct Frame {
+        Pointer position;
+        bytes32 root;
+    }
+
+    struct Pointer {
+        PointerType pointerType;
+        uint256 value;
+    }
+
+    enum PointerType {
+        INT32,
+        INT64
+    }
+
+    function prove_fourfold_nested_struct(Processor calldata initialProcessor) external pure {
+        assert(initialProcessor.windows.frames.length == 2);
+    }
+}