There is an infinite loop in the dependency analysis lead to monotonic stack growth. Specifically in `determine_necessary_stateinfo` in `block.rs`
There is an infinite loop in the dependency analysis lead to monotonic stack growth. Specifically in
determine_necessary_stateinfoinblock.rs