{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"Canonical"}]}
        Canonical { max_universe, variables, value }
        let (max_universe, variables) = canonicalizer.finalize();
    }