private void appendQueryProfileProperties(CompiledQueryProfile profile, Set<String> mentioned, StringBuilder b) {
        for (var property : profile.listValuesWithSources(CompoundName.empty, requestProperties(), parent.properties()).entrySet()) {
            if ( ! mentioned.contains(property.getKey()))
                b.append(property.getKey()).append(": ").append(property.getValue()).append("\n");
        }
    }
Traces how properties was resolved and from where. Done after the fact to avoid special handling
of tracelevel, which is the property deciding whether this needs to be done
container-search/src/main/java/com/yahoo/search/query/Trace.java