def test_recursive_fibonacci(self, n):
assume(n > 0)
assume(n < 20)
assert isinstance(fibonacci(n), n.__class__)
def test_fibonacci_sequence(self, n):
x = fibonacci(n)
y = fibonacci(n+1)
z = fibonacci(n+2)
assert x + y == z
