Local optimization seems to be working...

Actually there isn't much to do since block-local information is
definitely not enough for comprehensive optimization.

Anyway, simple local value-numbering and CSE/DCE is working at the
moment. Need to do global analysis next.