{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"//!"}]}
//!   success if `C` is empty. Otherwise, `O` is put into a suspended
//!   are also successful. Therefore, `O` is only considered a "true"
//!   state and the obligations in `C` become the new pending