{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"bx.assume_integer_range(imm,"}]}
            bx.assume_integer_range(imm, backend_ty, range);
            let range = scalar.valid_range(bx.cx());
        }