{"ast_node_type":"variable","tokens":[{"end":43,"kind":"keyword","start":0,"text":"if"}]}
        if let Some(this) = self.as_mut() {
    pub(crate) fn goal_evaluation_step(&mut self, goal_evaluation_step: ProofTreeBuilder<D>) {
            match (this, *goal_evaluation_step.state.unwrap()) {