No longer report warnings for empty unsat cores, as they represent a valid scenario where unrolling is insufficient.