{"ast_node_type":"variable","tokens":[{"end":55,"kind":"keyword","start":0,"text":"if"}]}
            if let Some(local) = destination.as_local()
        if let Terminator { kind: TerminatorKind::Call { destination, .. }, .. } = terminator {
                && self.ssa.is_ssa(local)