{"ast_node_type":"function","tokens":[{"end":84,"kind":"keyword","start":0,"text":"pub(crate)"}]}
    pub(crate) fn goal_evaluation(&mut self, goal_evaluation: ProofTreeBuilder<D>) {
        if let Some(this) = self.as_mut() {