{"ast_node_type":"other","tokens":[{"end":29,"kind":"keyword","start":0,"text":"NestedProbe(WipProbe<I>),"}]}
    NestedProbe(WipProbe<I>),
    AddGoal(GoalSource, inspect::CanonicalState<I, Goal<I, I::Predicate>>),
    MakeCanonicalResponse { shallow_certainty: Certainty },