def METHOD_NAME():
    analyzer = tvm.arith.Analyzer()
    x = te.var("x")
    y = te.var("y")
    # RHS of bitwise_and is 2^p - 1
    m = analyzer.modular_set((x * 16 + y * 4) & 31)
    assert m.coeff == 4
    assert m.base == 0
    # arbitrary RHS
    m = analyzer.modular_set((x * 16 + y * 4) & 17)
    assert m.coeff == 1
    assert m.base == 0