Fix the following bug: A label in LLVM IR must be preceded with a valid terminator instruction (because all basic blocks must end with a valid terminator instruction), but the TAC specification for milestone 2 does not guarantee that in the TAC itself, which resulted in invalid LLVM IR code when such TAC was passed to the backend.