pub fn show_statement<F>(f: &mut F, st: &Statement)where
    F: Write,