def test_app_abstract(term):
hypothesis.assume(i0 not in quoted_vars(term))
assert app(bohm.increment_rank(bohm.abstract(term)), i0) is term
def test_abstract_eta(term):
assert bohm.abstract(app(bohm.increment_rank(term), i0)) is term
def test_decrement_increment_rank(term):
assert bohm.decrement_rank(bohm.increment_rank(term)) is term
def test_increment_rank(term, expected):
assert bohm.increment_rank(term) is expected
def test_increment_rank(code, min_rank, expected):
assert increment_rank(code, min_rank) is expected
def test_decrement_increment_rank(code):
assert decrement_rank(increment_rank(code, 0)) is code