compute z finds all the statements that read z.
compute z
z
compute z finds all the statements that modifies z, and for each statement, indicates whether the modification is direct or indirect.