LINEAR TIME AND BRANCHING FOR RECURSION WITH MERGE TIME SEMANTICS