Made WffChecker.printTree() actually print a tree instead of returning a String