Function pretty_statement 

fn pretty_statement<W: Write>(
    writer: &mut W,
    statement: &StatementKind,
) -> Result<()>