Extend ControlFlowGraphBuilder to add more logic

[Mathiasdm]

A more advanced ControlFlowGraphBuilder could detect more dead code.

Example:

int i = 5;
if(i < 3) {
//doSomething <-- this is dead code
}