Farkas-Based Tree Interpolation