{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"//"}]}
                        // node that we don't handle.
                        // here if we find that the obligation originates from some other
                    }