{"ast_node_type":"other","tokens":[{"end":92,"kind":"keyword","start":0,"text":"unchanged_certainty"}]}
                        unchanged_certainty = unchanged_certainty.map(|c| c.and(certainty));
                        self.nested_goals.push((source, goal, None));
                    }