Added lots of new functionality for CFG and Basic Block analysis.