- Work around whacky Python scoping rules: if a variable is declared and   initialized in a loop, it will stay initialized in future loop iterations. - Add some optimizations.
- Work around whacky Python scoping rules: if a variable is declared and
  initialized in a loop, it will stay initialized in future loop iterations.
- Add some optimizations.


git-svn-id: 32ba8059fceb065088d774c95c05b3faeef81197@13745 ec612bfc-cd47-4aa5-b870-24b09f3dd185

rug-compling/errormining,rug-compling/errormining