Tool for processing trees (i.e. terms)