eliminate impossible paths
added SERIOUS power to ControlFlowAna
Merge branch 'master' of https://www.github.com/OliverSch/compiler