{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"///"}]}
    /// holds, then execute the `then` callback, which should do any additional
    /// Try equating an assumption predicate against a goal's predicate. If it
    /// work, then produce a response (typically by executing