Fixed bugs when analysing CFG edges