diff --git a/test_programs/execution_success/regression_11294/Prover.toml b/test_programs/execution_success/regression_11294/Prover.toml
index 1d1da38e142..c0bc12aeed9 100644
--- a/test_programs/execution_success/regression_11294/Prover.toml
+++ b/test_programs/execution_success/regression_11294/Prover.toml
@@ -1,56 +1,46 @@
-[
-    [previous_kernel_public_inputs.end.private_call_stack
-    ]
-]
+[[previous_kernel_public_inputs.end.private_call_stack]]
 args_hash = "0x0c78b411fc893c51d446c08daa5741b9ba6103126c9e450bed90fcde8793168a"
 returns_hash = "0x0000000000000000000000000000000000000000000000000000000000000000"
 start_side_effect_counter = "0x0000000000000000000000000000000000000000000000000000000000000002"
-end_side_effect_counter = "0x0000000000000000000000000000000000000000000000000000000000000007"[
-    [previous_kernel_public_inputs.end.private_call_stack
-    ]
-]
+end_side_effect_counter = "0x0000000000000000000000000000000000000000000000000000000000000007"
+
+[[previous_kernel_public_inputs.end.private_call_stack]]
 args_hash = "0x0000000000000000000000000000000000000000000000000000000000000000"
 returns_hash = "0x0000000000000000000000000000000000000000000000000000000000000000"
 start_side_effect_counter = "0x0000000000000000000000000000000000000000000000000000000000000000"
-end_side_effect_counter = "0x0000000000000000000000000000000000000000000000000000000000000000"[
-    [previous_kernel_public_inputs.end.private_call_stack
-    ]
-]
+end_side_effect_counter = "0x0000000000000000000000000000000000000000000000000000000000000000"
+
+[[previous_kernel_public_inputs.end.private_call_stack]]
 args_hash = "0x0000000000000000000000000000000000000000000000000000000000000000"
 returns_hash = "0x0000000000000000000000000000000000000000000000000000000000000000"
 start_side_effect_counter = "0x0000000000000000000000000000000000000000000000000000000000000000"
-end_side_effect_counter = "0x0000000000000000000000000000000000000000000000000000000000000000"[
-    [previous_kernel_public_inputs.end.private_call_stack
-    ]
-]
+end_side_effect_counter = "0x0000000000000000000000000000000000000000000000000000000000000000"
+
+[[previous_kernel_public_inputs.end.private_call_stack]]
 args_hash = "0x0000000000000000000000000000000000000000000000000000000000000000"
 returns_hash = "0x0000000000000000000000000000000000000000000000000000000000000000"
 start_side_effect_counter = "0x0000000000000000000000000000000000000000000000000000000000000000"
-end_side_effect_counter = "0x0000000000000000000000000000000000000000000000000000000000000000"[
-    [previous_kernel_public_inputs.end.private_call_stack
-    ]
-]
+end_side_effect_counter = "0x0000000000000000000000000000000000000000000000000000000000000000"
+
+[[previous_kernel_public_inputs.end.private_call_stack]]
 args_hash = "0x0000000000000000000000000000000000000000000000000000000000000000"
 returns_hash = "0x0000000000000000000000000000000000000000000000000000000000000000"
 start_side_effect_counter = "0x0000000000000000000000000000000000000000000000000000000000000000"
-end_side_effect_counter = "0x0000000000000000000000000000000000000000000000000000000000000000"[
-    [previous_kernel_public_inputs.end.private_call_stack
-    ]
-]
+end_side_effect_counter = "0x0000000000000000000000000000000000000000000000000000000000000000"
+
+[[previous_kernel_public_inputs.end.private_call_stack]]
 args_hash = "0x0000000000000000000000000000000000000000000000000000000000000000"
 returns_hash = "0x0000000000000000000000000000000000000000000000000000000000000000"
 start_side_effect_counter = "0x0000000000000000000000000000000000000000000000000000000000000000"
-end_side_effect_counter = "0x0000000000000000000000000000000000000000000000000000000000000000"[
-    [previous_kernel_public_inputs.end.private_call_stack
-    ]
-]
+end_side_effect_counter = "0x0000000000000000000000000000000000000000000000000000000000000000"
+
+[[previous_kernel_public_inputs.end.private_call_stack]]
 args_hash = "0x0000000000000000000000000000000000000000000000000000000000000000"
 returns_hash = "0x0000000000000000000000000000000000000000000000000000000000000000"
 start_side_effect_counter = "0x0000000000000000000000000000000000000000000000000000000000000000"
-end_side_effect_counter = "0x0000000000000000000000000000000000000000000000000000000000000000"[
-    [previous_kernel_public_inputs.end.private_call_stack
-    ]
-]
+end_side_effect_counter = "0x0000000000000000000000000000000000000000000000000000000000000000"
+
+[[previous_kernel_public_inputs.end.private_call_stack]]
 args_hash = "0x0000000000000000000000000000000000000000000000000000000000000000"
 returns_hash = "0x0000000000000000000000000000000000000000000000000000000000000000"
 start_side_effect_counter = "0x0000000000000000000000000000000000000000000000000000000000000000"