{"ast_node_type":"import","tokens":[{"end":64,"kind":"keyword","start":0,"text":"*"}]}
         * Creates a cause for obligations that are derived from
        /*!
         * `obligation` by a recursive search (e.g., for a builtin