More work on amalgamating r.e. terms with the same grouping factor.