But unlike in phrase-based decoding, we can not simply choose any arbitrary uncovered subtree for the next step, since rules already dictate which subtree to visit next.
what we need here is not really a tree coverage vector, but more of a derivation history.