pub type ReduceFn = fn(&dyn Any) -> Box<dyn DynReductionResult>;
Witness/config reduction executor stored in the inventory.