Rerun DfsPruneChecker experiments without loop unwinding bounds