Avoiding Clobbering Sibling Goals
Only vars necessary to achieve y=e are the ancestors of y; y can be changed w/o affecting descendants.
To avoid clobbering achieved goals, Burton solves goals in an upstream order.
Upstream order corresponds to achieving goals in order of increasing depth first number.