Macro finder_error 

macro_rules! finder_error {
    (unsat) => { ... };
    (max_bound) => { ... };
    (resource) => { ... };
}

Macro for creating a finder error