Во-первых вложенность вызовов можно показать с помощью вложенности активаций.
Во-вторых никто не запрещает тебе на диаграмме последовательности указать ДВА одинаковых классификатора (хотя таких примеров я не видел)
В-третьих все зависит от семантики функций, которые ты хочешь показать. Может подойдет диаграмма автомата, а может даже диаграмма объектов.