{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"(certainty,"}]}
                    (certainty, NestedNormalizationGoals::empty())
                    let certainty = shallow_certainty.and(goals_certainty);
                }