{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"self.add_place(*destination);"}]}
                self.add_place(*destination);
            TerminatorKind::Call { destination, func, args, .. } => {
                self.add_operand(func);