Remove an import of logictree.py