fix a bug in the semantics package
Add debugging information to the FlowAnalysis structure
Fix some bitrot, update some old tests