Minor performance improvement for dyntab.util/fold-empty?