def test_abstract_eta(code): hypothesis.assume(is_const(code)) assert abstract(app(code, IVAR(0))) is decrement_rank(code)
def test_is_const(code, expected): assert is_const(code) is expected