pub fn is_terminator(inst: &Inst) -> bool
Block-terminating instructions: anything that can leave the fall-through path. Used to mark the next instruction as a gas-block start.