{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"StatementKind::Intrinsic(box"}]}
            StatementKind::Intrinsic(box NonDivergingIntrinsic::Assume(
            // If we expect `lhs ?= true`, we have an opportunity if we assume `lhs == true`.
                Operand::Copy(place) | Operand::Move(place),