Symbol is no longer generic
reg phi generation appears to be doing the right thing?
Before swapping to per-basic-block abstract interpretation
Some stuff works
sqrtFinder passes!
tidying up
inheritance test passes
inheritance test passes, minor cleanup
fixed missing-phi-movements-on-empty-block bug
cleaned up prints
only 19 failures now
17 tests fail
all switches pass
throwCatch, multiCatch and nullPointer now work
All exception tests pass now