Function pretty_terminator 

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