{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"AddGoal(GoalSource,"}]}
    AddGoal(GoalSource, inspect::CanonicalState<I, Goal<I, I::Predicate>>),
enum WipProbeStep<I: Interner> {
    NestedProbe(WipProbe<I>),