LogicTree constructor

LogicTree()