Fixed logictree_test.py