Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-05-19 09:47:15 -0700 (Thu, 19 May 2005)
Revision: 7299
Log message:
Free var restriction on SO variables should be more conservative (should only
apply to the body of the SO var, but not to its arguments).