Fixing bug in handling of goto in basic block analysis