{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"StatementKind::Intrinsic(intrisic)"}]}
                    StatementKind::Intrinsic(intrisic) => match intrisic {
                    StatementKind::Coverage(coverage) => visit_opaque(coverage),
                        NonDivergingIntrinsic::Assume(operand) => {