def test_dominates_irreflexive(term):
assert not bohm.dominates(term, term)
def test_dominates_transitive(x, y, z):
for x, y, z in itertools.permutations([x, y, z]):
if bohm.dominates(x, y) and bohm.dominates(y, z):
assert bohm.dominates(x, z)
def test_dominates_irreflexive(code):
assert not dominates(code, code)