Does the back() of a Function guarantee to return the terminator basic block of CFG in LLVM?
I don't think, since there's no such a thing as a "terminator BB": there very well may be multiple BBs terminated by a return.