implemented extern function split.
because it musst be a total function from StringxString to IntegerxString,
it mapps empty seperators to the empty set
+ test