Detect unbounded problems rather than crashing