{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"//"}]}
                // Empty regions are ordered according to the universe
            (VarValue::Empty(a_ui), VarValue::Empty(b_ui)) => {
                // they are associated with.