ZEE will also support flowback analysis on a per-element basis, with a graphical interface showing the line where the current value of a variable was assigned, along with the then-current values of the variables on the right-hand side of the assignment. Clicking on a then-current value will roll back computation to the point of assignment, and provide flowback analysis of that value. Choi's algorithms will be sufficient for this problem, even in the presence of shattered control flow.