def METHOD_NAME():
    x, y = te.var("x"), te.var("y")
    solution = arith.solve_linear_equations(
        [
            tvm.tir.EQ(x + y, 0),
            tvm.tir.EQ(x - y, 0),
            tvm.tir.EQ(x, 5),
        ],
        [x, y],
        {},
    )
    assert list(solution.dst.variables) == []
    [rel] = solution.dst.relations
    assert ir.structural_equal(rel, False)
    assert len(solution.src_to_dst) == 0
    assert len(solution.dst_to_src) == 0