Add support for merging a pair of tasks whose calls are not immediately sequential

[tiagolascasas]

We want to merge foo() and bar():

foo(A, B);
fizz(C);
bar(A, B);

It is valid, since the call to fizz() does not have any dependencies to the other calls and the task graph makes that clear. However, the current task splitter only supports immediately sequential calls.