merge x nil x merge nil y y merge ++ x y ++ u v ++ x merge y ++ u v merge ++ x y ++ u v ++ u merge ++ x y v merge 2 nil 0 ++ 2 u 0 v 0 FULL ./TRS/SK90/4.29.trs