why don't we need a sync call in here to join back the spawned instances?

Good observation. In Cilk, there is an implicit sync at the end of every function. So before a function returns, it sync's with all functions it has spawned.