{"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"///"}]}
    ///   the same thing happens, but the resulting query is marked as ambiguous.
    /// - If some obligations can be neither proven nor disproven, then
    /// - Finally, if any of the obligations result in a hard error,