{"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":"///"}]}
    /// search graph which would break cycle detection.
    /// Using this while inside of the solver is wrong as it uses a new
    fn evaluate_root_goal(