========================================================
The given Problem was:
a -> 
a a -> b c 
b -> 
c -> 
c b -> b a c 
========================================================
A self-embedding rewrite structure for the given SRS is:
   c b b b b b b --(16)-> b b c b b b b b b c c (#2715271)
   OC+OC at 3
      OC: c b b --(4)-> b b c c (#251)
          OC+OC at 1
             OC: c b b --(3)-> b a a c (#52)
                 OC+OC at 2
                    OC: c b --(1)-> b a c (#5)
                        Rule
                    OC: c b --(2)-> a c (#9)
                        OC+OC at 0
                           OC: c b --(1)-> b a c (#5)
                               Rule
                           OC: b --(1)->  (#3)
                               Rule
             OC: a a --(1)-> b c (#2)
                 Rule
      OC: c b b b b --(12)-> b b b b b b c c (#171583)
          OC+OC at 5
             OC: c b b b b --(11)-> b b b b b a a c (#120790)
                 OC+OC at 4
                    OC: c b b b b --(9)-> b b b b c b a c (#22529)
                        OC+OC at 5
                           OC: c b b b --(8)-> b b b b c c (#7976)
                               OC+OC at 3
                                  OC: c b b b --(7)-> b b b a a c (#5423)
                                      OC+OC at 2
                                         OC: c b b b --(5)-> b b c b a c (#858)
                                             OC+OC at 3
                                                OC: c b b --(4)-> b b c c (#251)
                                                    OC+OC at 1
                                                       OC: c b b --(3)-> b a a c (#52)
                                                           OC+OC at 2
                                                              OC: c b --(1)-> b a c (#5)
                                                                  Rule
                                                              OC: c b --(2)-> a c (#9)
                                                                  OC+OC at 0
                                                                     OC: c b --(1)-> b a c (#5)
                                                                         Rule
                                                                     OC: b --(1)->  (#3)
                                                                         Rule
                                                       OC: a a --(1)-> b c (#2)
                                                           Rule
                                                OC: c b --(1)-> b a c (#5)
                                                    Rule
                                         OC: c b --(2)-> b a (#10)
                                             OC+OC at 2
                                                OC: c b --(1)-> b a c (#5)
                                                    Rule
                                                OC: c --(1)->  (#4)
                                                    Rule
                                  OC: a a --(1)-> b c (#2)
                                      Rule
                           OC: c b --(1)-> b a c (#5)
                               Rule
                    OC: c b --(2)-> b a (#10)
                        OC+OC at 2
                           OC: c b --(1)-> b a c (#5)
                               Rule
                           OC: c --(1)->  (#4)
                               Rule
             OC: a a --(1)-> b c (#2)
                 Rule
Hence, the SRS is non-terminating.