++ nil y y ++ x nil x ++ . x y z . x ++ y z ++ ++ x y z ++ x ++ y z ++ 2 nil 0 . 2 FULL ./TRS/SK90/2.38.trs