hq test project fails in SSA

[pufferfish101007]

https://hyperquark.github.io/hyperquark/main/#/projects/1116438829:

error: Assertion failed: vars.len() == reduced_stack.len() Left: 3 Right: 0 Message: variables stack should have the same length as the corresponding type stack
at src/optimisation/ssa.rs:1199:9

[pufferfish101007]

have reduced to this, where foo is any warped procedure