binomials in tree extraction from OT