{"ast_node_type":"function","tokens":[{"end":43,"kind":"keyword","start":0,"text":"fn"}]}
    fn assume(&mut self, val: Self::Value);
    fn abort(&mut self);
    fn expect(&mut self, cond: Self::Value, expected: bool) -> Self::Value;