{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"NonDivergingIntrinsic::Assume(..)"}]}
                            NonDivergingIntrinsic::Assume(..) => {}
                            NonDivergingIntrinsic::CopyNonOverlapping(..) => return None,
                        },