Until LiberaArbol(arbol) translated + little bug (dup) in bprog.p code