split
x
nil
tp2
nil
nil
le
0
y
true
le
s
x
0
false
le
s
x
s
y
le
x
y
split
x
cons
y
ys
tp2
zs1
cons
y
zs2
split
x
ys
tp2
zs1
zs2
le
x
y
true
split
x
cons
y
ys
tp2
cons
y
zs1
zs2
split
x
ys
tp2
zs1
zs2
le
x
y
false
split
2
nil
0
tp2
2
le
2
0
0
true
0
s
1
false
0
cons
2
ORIENTED
FULL