Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-04-08 18:49:04 -0700 (Fri, 08 Apr 2005)
Revision: 7182
Log message:
Letting the paper cook for a while.
Reverted the spill_split rule to its previous correct version.
The basic problem is that var_subst seems to be substituting
for values that it shouldn't.