{"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":"max_nameable_universe:"}]}
            max_nameable_universe: definition.universe,
            max_placeholder_universe_reached: placeholder_universe,
            representative: Representative::new(rvid, definition),