def test_Distributivity(n, x, y, z):
    s1 = n.compress( x + y ) + n.compress( z )
    s2 = n.compress( x + z ) + n.compress( y + z )

    return test( s1, s2, lambda x, y : y <= x ), s1, s2
dataset/ETHPy150Open androguard/androguard/elsim/tests/test_similarity.py/test_Distributivity/swapped operands of `<=`