{"ast_node_type":"other","tokens":[{"end":36,"kind":"keyword","start":0,"text":"StatementKind::Retag(..)"}]}
            StatementKind::Retag(..)
            }
            | StatementKind::Intrinsic(box NonDivergingIntrinsic::Assume(..))