{"ast_node_type":"other","tokens":[{"end":89,"kind":"keyword","start":0,"text":"NonDivergingIntrinsic::CopyNonOverlapping(..)"}]}
                            NonDivergingIntrinsic::CopyNonOverlapping(..) => return None,
                        StatementKind::Intrinsic(ref intrinsic) => match **intrinsic {
                            NonDivergingIntrinsic::Assume(..) => {}