UTBot generates test method names containing a typo

[onewhl]

Description

UTBot generates method names containing a typo -- si instead of is.

To Reproduce

Run tests in SummaryReturnExampleTest.kt and expect the provided test names. Or run UTBot on the code snippet below.

Actual behavior

UTBot generates test method names containing a typo (si instead of is). For example, testCompareChars_0OfCharactertoCharsiEqualsA.

Expected behavior

I expect to get the name equal testCompareChars_0OfCharactertoCharIsEqualA. This name is not perfect too, but at least it doesn't contain the typo.

Visual proofs (screenshots, logs, images)

Run UTBot on the following code snippet:

    public char compareChars(char a, char b, int n) {
        if (n < 1)
            return ' ';
        for (int i = 0; i < n; i++) {
            if (Character.toChars(i)[0] == a) {
                return b;
            }
            if (Character.toChars(i)[0] == b) {
                return a;
            }
        }
        return a;
    }

You will get methods with these names:

        "testCompareChars_NLessThan1"
        "testCompareChars_0OfCharactertoCharsiEqualsA" // si -> is
        "testCompareChars_0OfCharactertoCharsiEqualsB" // si -> is
        "testCompareChars_0OfCharactertoCharsiNotEqualsB" // si -> is

Environment

Java 11

[onewhl]

Update:
To generate a name for a method, UTBot puts test to the beginning, gets method name it generates a test for, and maps the condition to string: test + methodToTestName + _ + condition.
In the example above, it mapped
Character.toChars(i)[0] == a : True -> return b to testCompareChars_0OfCharactertoCharsiEqualsA.
It just removed some characters like (, . and concatenated what's left. So, in fact it's not a typo, it's just a dummy concatenation of method name toChars and a parameter i.

I plan to explore why it adds 0 and of to the method name.

[onewhl]

Update:
Number in the middle of names mean the index of array code accesses to: index + Of + method name.
Example above: 0 + Of + CharactertoChars
See NodeConverter.convertNodeToStringRecursively()