A tool for processing trees (i.e. terms)