almost works, except the stack map isnt propagated between basic blocks