MAYBE
(ignored inputs)COMMENT [11] Example 3.3.2 submitted by: Takahito Aoto , Junichi Yoshida , and Yoshihito Toyama
Rewrite Rules:
   [ f(b) -> a,
     f(b) -> f(c),
     f(c) -> f(b),
     f(c) -> d,
     b -> e,
     c -> e',
     f(e) -> a,
     f(e') -> d ]
Apply Direct Methods...
Inner CPs:
   [ f(e) = a,
     f(e) = f(c),
     f(e') = f(b),
     f(e') = d ]
Outer CPs:
   [ a = f(c),
     f(b) = d ]
Linear
(inner) Parallel CPs: (not computed)
unknown Toyama (Parallel CPs)
Direct Methods: Can't judge

Combined result: Can't judge
39.trs: Failure(unknown CR)
(0 msec.)