Important: Solve this task using only the repository, files, documentation, tests, and tools available in…

Important: Solve this task using only the repository, files, documentation, tests, and tools available in…: a task in LegoFlow-SWE (Harbor dataset). The current AIR trace layout does not include the auxiliary column that tracks the stack overflow table state. As a result, the prover cannot…