========================================================
The given Problem was:
a -> 
a b -> b c b a c a a 
c c -> 
========================================================
A self-embedding rewrite structure for the given SRS is:
   a b b c b --(10)-> b c b a c b c b a b b c b a c a a (#3451)
   OC+OC at 9
      OC: a b b c b --(9)-> b c b a c b c b a c c b b c b a c a a (#2187)
          OC+OC at 10
             OC: a b b c b --(8)-> b c b a c b c b a c a c b b c b a c a a (#1835)
                 OC+OC at 13
                    OC: a b b c --(7)-> b c b a c b c b a c a c b a (#484)
                        OC+OC at 5
                           OC: a b b c --(5)-> b c b a c a b c b a (#50)
                               OC+OC at 10
                                  OC: a b b --(4)-> b c b a c a b c b a c (#37)
                                      OC+OC at 11
                                         OC: a b b --(3)-> b c b a c a b c b a c a (#8)
                                             OC+OC at 6
                                                OC: a b --(1)-> b c b a c a a (#2)
                                                    Rule
                                                OC: a b --(2)-> b c b a c a (#5)
                                                    OC+OC at 5
                                                       OC: a b --(1)-> b c b a c a a (#2)
                                                           Rule
                                                       OC: a --(1)->  (#1)
                                                           Rule
                                         OC: a --(1)->  (#1)
                                             Rule
                                  OC: c c --(1)->  (#3)
                                      Rule
                           OC: a b --(2)-> b c b a c a (#5)
                               OC+OC at 5
                                  OC: a b --(1)-> b c b a c a a (#2)
                                      Rule
                                  OC: a --(1)->  (#1)
                                      Rule
                    OC: a b --(1)-> b c b a c a a (#2)
                        Rule
             OC: a --(1)->  (#1)
                 Rule
      OC: c c --(1)->  (#3)
          Rule
Hence, the SRS is non-terminating.