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