When use CFGWalker to walk module with single thread, get a double-free fault.

I found we introduced two varaible: BasicBlock* exit = nullptr; and bool hasSyntheticExit = false; in src/cfg/cfg-traversal.h. And did not reset them in doWalkFunction.
In this case, the two variables from the previous function will still be used when we walk the subsequent function.