{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"current_goal_kind:"}]}
            current_goal_kind: CurrentGoalKind::from_query_input(cx, input),
            var_values,
            max_input_universe: canonical_input.canonical.max_universe,