(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
)