1. A face
2. An edge

My only constraint is that the edge belong to the face. In other words, if I query the face for all edges, I expect that the edge selected will also be in the set. To accomplish that, I've written a simple FeatureScript function called faceContainsEdge

function faceContainsEdge(context is Context, faceQuery is Query, edgeQuery is Query) returns boolean
precondition
{
    !isQueryEmpty(context, qEntityFilter(edge, EntityType.EDGE));
    !isQueryEmpty(context, qEntityFilter(face, EntityType.FACE));
}
{
    // Extract my edges
    const faceEdgesQuery is Query = qAdjacent(faceQuery, AdjacencyType.EDGE);
    
    // Verify whether the given edge query evaluates to one of the edges of the face
    for (var faceEdgeQuery in evaluateQuery(context, faceEdgesQuery))
    {
        if (areQueriesEquivalent(context, faceEdgeQuery, edgeQuery))
        {
            return true;
        }
    }
    return false;
}

The problem (obviously) is that this doesn't work. I can see via the addition of debug lines that both the edgeQuery and faceEdgesQuery evaluate correctly:

If I try to print the two queries, I see the following:

1. Each faceEdgeQuery in the loop is a map with structure: Query 1: { queryType : TRANSIENT , transientId : JIV }
2. The invariant edgeQuery is a map with structure: Query 2: { queryType : UNION , subqueries : [ { flatFilter : NO , queryType : SM_FLAT_FILTER … ]

And the function returns false always. How is this areQueriesEquivalent supposed to function? Do I need to convert the results of evaluateQuery in some way? How can I make the comparison meaningful?