input CTRS   (see Cops format)

 

The Unraveled TRS (result of co2 with U)

The SR-transformed TRS (result of co2 with SR)

Is the input CTRS confluent?         (result of co3)