Implementing lps:split.