improving exception flow analysis
bug fix: (BasicBlockGraphNodeJoiner) a node should not join with the root node