NodesIn : rc ->
Arg N : TreeNode, F : < TreeData >

N.
 - NodesIn Left  F [ Left ]
 - NodesIn Right F [ Right ]
 - F Data
;

Return
