merge sort using Soot