[bugfix] wrong conditions to enable expression transformation
classify basic block objects
explicitly return from L_exit basic block even if the return value is of void
transformer is now capable of choosing the strategy of goto elimination
no need to return from end points of case clause
[bugfix] fix a crash on break/continue statements with a label
add another strategy to eliminate gotos