This may be seen by noting that no flow control constructs refer to complex values
and that all statements that modify control identifiers, refer only to control identifiers.
The statement that modifies b depends only on b and the statement that modifies w depends
only on b.