{"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"Certainty::Maybe(_)"}]}
                    Certainty::Maybe(_) => {
                    Certainty::Yes => {}
                        self.nested_goals.push((source, with_resolved_vars, stalled_on));