20/05: implemented vtree ordering