Updated the test logictree_test.py