Solution for p61.
Solution for p61a.
Solution for p62.
Add leaf-node-p predicate.