Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-10-18 18:10:35 -0700 (Sat, 18 Oct 2003)
Revision: 217
Log message:
Rearranged the workflow. The scanner is run at most once for each
target. There is no fixpoint any longer.