Function pretty_terminator_head 

fn pretty_terminator_head<W: Write>(
    writer: &mut W,
    terminator: &TerminatorKind,
) -> Result<()>