Homework #5 FAQ
In Problem 4, do we have to consider indirect assignments to x, e.g.,
through a pointer?
It is even harder to tell whether a program changes x without
mentioning x explicitly.
However, it is OK to assume that all assignments to x are explicit;
that is, the assignment will begin x=...