You should probably remove an import of logictree.py here