A Fibonacci tree is a rooted binary tree in which for every non-leaf vertex v, the heights of
the subtrees, rooted at the left and right child of v, differ by exactly one. A formal recursive
definition of the Fibonacci tree (denoted by Fh if its height is h) is given below.