{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"//!"}]}
//! - `completed`: a list of obligations where processing was fully
//!
//!   completed without error (meaning that all transitive subobligations