{"ast_node_type":"other","tokens":[{"end":99,"kind":"keyword","start":0,"text":"//"}]}
            // Convert a `Union { a: p, b: q }` witness into `Union { a: p }` and `Union { b: q }`.
        {
            // First add `Union { .. }` to `self`.