{"ast_node_type":"other","tokens":[{"end":12,"kind":"keyword","start":0,"text":"Assert"}]}
    Assert {
    /// assertion does not fail, execution continues at the specified basic block.
        cond: Operand,