{"ast_node_type":"other","tokens":[{"end":85,"kind":"keyword","start":0,"text":"EvalCtxt::enter_canonical(cx,"}]}
            EvalCtxt::enter_canonical(cx, search_graph, input, inspect, |ecx, goal| {
        ensure_sufficient_stack(|| {
                let result = ecx.compute_goal(goal);