{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"("}]}
            (
            // If both sides are *unknown*, it hardly matters, does it?
                ConstVariableValue::Unknown { origin, universe: universe1 },