Fixes for basic blocks, succ and pred functionality on CFGs