

@XFAIL
def test_issue_7993():
    x = Dummy(integer=True)
    y = Dummy(noninteger=True)
    assert ((x - x).is_zero is False)

dataset/ETHPy150Open sympy/sympy/sympy/core/tests/test_assumptions.py test_issue_7993/VarMisuse@35/44 `y`->`x`