pub fn decode_error<F, Addr: Display>(
    executed: &Executed,
    format_address: F
) -> (String, String, Vec<String>)
where F: Fn(&Address) -> Addr,