Added function to print truth tree