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