pub fn terminator_location(body: &Body, bb_idx: &usize) -> Location
Location of the terminator for a given basic block. Assumes that bb_idx is valid for a given body.
bb_idx