Wrong display names generated for Recursion#factorial()

[onewhl]

Description

Wrong display names generated for Recursion#factorial().

To Reproduce

Run test generation for class Recursion in utbot-sample module.

Expected behavior
Display names should be equal

n == 0 : True -> return 1
n == 0 : False -> return n * factorial(n - 1)
n < 0 -> Throw IllegalArgumentException

Actual behavior

The tool generated these names:

-> return 1
-> return 1
n < 0 -> Throw IllegalArgumentException