insert 'pass' when the last statement is While or For; add control flow analysis about while's else