pub fn to_opaque_error(value: String) -> Rc<Error>
Wraps up an arbitrary Rust Error value as a Dafny Error