Trémaux_tree does not exist