For our parsing algorithm, we want to avoid grouping the instances of elementary trees in a derivation tree into tuple instances.
we want to check whether a TAG derivation tree is a valid TT-MCTAG derivation tree without deciding, for every occurrence of some argument β, which of the h(β)-nodes represents its head.