{"ast_node_type":"other","tokens":[{"end":34,"kind":"keyword","start":0,"text":"bx.assume(ne);"}]}
                    bx.assume(ne);
                    let ne = bx.icmp(IntPredicate::IntNE, tagged_discr, untagged_variant_const);
                }