{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"//!"}]}
//!   empty vector. Otherwise it will only be considered completed once
//!   then `O` will be considered completed right away if `C` is the
//!   all the obligations in `C` have been found completed.