Text this: Test Generation for Programs with Binary Tree Structure as Input.