answer(append_split, pair([], "abc")).
answer(append_split, pair("a", "bc")).
answer(append_split, pair("ab", "c")).
answer(append_split, pair("abc", [])).