intermediate code: at end of if body and else body, branch to block after if-then-else
intermediate code: at end of if body and else body, branch to block after if-then-else