The development version of Rainbow can now certify loops in (relative) TRSs and SRSs (including AC TRSs since they are automatically translated into relative TRSs). The grammar can be consulted on https://gforge.inria.fr/projects/rainbow/.