Add [splitAt_append]
Add [splitAt_append]

Says that if a list is split and then appended, then it gives back the
same list.

A-Manning/FStar,A-Manning/FStar,A-Manning/FStar,FStarLang/FStar,FStarLang/FStar,FStarLang/FStar