{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"//"}]}
    // Create obligations for each predicate declared by the impl
    // definition in the context of the hybrid param-env. This makes