don't compute minimal_cases map unless necessary