{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"#[instrument(level"}]}
    #[instrument(level = "trace", skip(self))]
    // the certainty of all the goals.
    pub(super) fn try_evaluate_added_goals(&mut self) -> Result<Certainty, NoSolution> {