def get_tokens_from_node(node, result=None):
    """Return the list of Tokens in the tree starting at node."""
    if result is None:
        result = []
    for dtr in node.dtrs:
        if dtr.isToken():
            result.append(dtr)
        get_tokens_from_node(dtr, result)
    return result