Improving the Representation of Infinite Trees to Deal with Sets of Trees