DP: largest independent set size of a binary tree