(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS init)) (VAR XXs YYs ZZs Xs Zs Ys) (RULES init(Xs,Zs,Ys) -> split(Xs,Zs,Ys) split(Xs,Zs,Ys) -> return(Xs) :|: Xs = [] && Zs = [] && Ys = [] split(XXs,XYs,Zs) -> split(Xs,Zs,Ys) :|: XXs = X :: Xs && XYs = X :: Ys )