We can transform stack-based memory allocation into a register-based single-assignment value. As discussed in https://github.com/coredac/dataflow/pull/133#discussion_r2382679298