An exit-block should exist for all CFGs not just for those, which contain jump statements.
Fixed bug in containsSymbol and changed dataFlowFrom to 1 hop.