{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"//!"}]}
//!   `O` was successful on the assumption that all the obligations in `C`
//!   vector `C` is a list of subobligations. The meaning of this is that
//!   are also successful. Therefore, `O` is only considered a "true"