Consider the common high-level language statement
a := b + c
We get
The stall seems inevitable. However, consider the sequence
a := b + c d := e - f
