Introduce LogicTest, fix minor bug in Logic
Imported BinaryTree.TreeNode