def test_is_zero_one(): assert Zero.is_zero() assert not One.is_zero() assert not a.is_zero() assert not (~a | b).is_zero() assert One.is_one() assert not Zero.is_one() assert not a.is_one() assert not (~a | b).is_one()