CFG Bip links nodes incorrectly if Call is the last statement

[alcen]

For this program, the nodes are linked like this: 24 -> 19 -> 20 -> 24, but 24 should skip 19 and 20 and link to end node since 19 and 20 are the last statements in the procedure

[alcen]

Fixed by #138