public Optional<String> dimensionNameOf(String name) {
        if ( renames == null || ! renames.containsKey(name))
            return Optional.empty();
        return Optional.of(String.format("%s%d", dimensionPrefix, renames.get(name)));
    }
Retrieve resulting name of a dimension after solving for constraints, or empty if no
solution is found yet, or this dimension was not added before finding a solution.
model-integration/src/main/java/ai/vespa/rankingexpression/importer/DimensionRenamer.java