========================================================
The given Problem was:
a -> 
a b -> b c 
c c -> b a c a a 
========================================================
A self-embedding rewrite structure for the given SRS is:
   a b c c b c --(13)-> b b b b a c a b c c b c a a (#34426)
   OC+OC at 11
      OC: a b c c b c --(12)-> b b b b a c a b c c b a c a a (#28551)
          OC+OC at 10
             OC: a b c c b --(11)-> b b b b a c a b c c c (#7864)
                 OC+OC at 7
                    OC: a b c c b --(10)-> b b b b a c a a b c c (#5330)
                        OC+OC at 3
                           OC: a b c c b --(9)-> b b b c c b c c (#1065)
                               OC+OC at 5
                                  OC: a b c c b --(8)-> b b b c c a b c (#514)
                                      OC+OC at 6
                                         OC: a b c c --(7)-> b b b c c a a (#324)
                                             OC+OC at 2
                                                OC: a b c c --(6)-> b b a b c a a (#68)
                                                    OC+OC at 3
                                                       OC: a b c --(4)-> b b a c (#23)
                                                           OC+OC at 4
                                                              OC: a b c --(3)-> b b a c a (#8)
                                                                  OC+OC at 1
                                                                     OC: a b --(1)-> b c (#2)
                                                                         Rule
                                                                     OC: c c --(2)-> b a c a (#5)
                                                                         OC+OC at 3
                                                                            OC: c c --(1)-> b a c a a (#3)
                                                                                Rule
                                                                            OC: a --(1)->  (#1)
                                                                                Rule
                                                              OC: a --(1)->  (#1)
                                                                  Rule
                                                       OC: c c --(2)-> b c a a (#4)
                                                           OC+OC at 1
                                                              OC: c c --(1)-> b a c a a (#3)
                                                                  Rule
                                                              OC: a --(1)->  (#1)
                                                                  Rule
                                                OC: a b --(1)-> b c (#2)
                                                    Rule
                                         OC: a b --(1)-> b c (#2)
                                             Rule
                                  OC: a b --(1)-> b c (#2)
                                      Rule
                           OC: c c --(1)-> b a c a a (#3)
                               Rule
                    OC: a b --(1)-> b c (#2)
                        Rule
             OC: c c --(1)-> b a c a a (#3)
                 Rule
      OC: a --(1)->  (#1)
          Rule
Hence, the SRS is non-terminating.