def METHOD_NAME(self):
    n = 10
    s = [as_ufl(i) for i in range(n)]
    for i in range(n):
        self.assertNotEqual(s[i], i+1)
    for i in range(n):
        assert s[i] == i
    for i in range(n):
        assert 0 + s[i] == i
    for i in range(n):
        assert s[i] + 0 == i
    for i in range(n):
        assert 0 + s[i] + 0 == i
    for i in range(n):
        assert 1 + s[i] - 1 == i
    assert s[1] + s[1] == 2
    assert s[1] + s[2] == 3
    assert s[1] + s[2] + s[3] == s[6]
    assert s[5] - s[2] == 3
    assert 1*s[5] == 5
    assert 2*s[5] == 10
    assert s[6]/3 == 2