Macro rsmt2::smt_cast_io

macro_rules! smt_cast_io {
    ($info:expr => $e:expr $(;)*) => { ... };
    ( $info:expr => $e:expr ; $( $tail:tt )+ ) => { ... };
}

Wraps errors (if any) into IoErrors and (not-early-)returns the first error, if any.