ReverseCat1( C )
The reverse of a cat1-group is an isomorphic cat1-group with the same source, range and embedding, but with the tail and head interchanged (see xmodAW1, section 2).
gap> revCC := ReverseCat1( CC );
cat1-group [h20 |X c5 ==> h20]
GAP 3.4.4