Fix broken summaries JavaDoc rendering

[sofurihafe]

Description

The problem was related to incorrect if-statement index evaluation after ternary operation mapping (in JimpleToASTMap).

Also, the new test was introduced in order to fixate summary generation behavior for methods with user defined docs.

Fixes # (1605)

How to test

Automated tests

utbot-samples.

Manual tests

Generate a test for the following piece of code with 100% symbolic:

class A {
    /**
     * Returns the .
     * Ttt
     * Tta
     *
     * @param a a
     * @param b b, ...
     * @return the result.
     */
    public int result(long a, int b) {
        return (int) (a < 0 ? a + b : a);
    }
}

Result must be compilable and be without user defined JavaDocs in JavaDocs.

public final class ATest {
    ///region Test suites for executable A.result

    ///region SYMBOLIC EXECUTION: SUCCESSFUL EXECUTIONS for method result(long, int)

    /**
     * @utbot.classUnderTest {@link A}
     * @utbot.methodUnderTest {@link A#result(long, int)}
     * @utbot.returnsFrom {@code return (int) (a < 0 ? a + b : a);}
     */
    @Test
    @DisplayName("result: return (int) (a < 0 ? a + b : a) : False -> return (int) (a < 0 ? a + b : a)")
    public void testResult_A0aba() {
        A a = new A();

        int actual = a.result(0L, -255);

        assertEquals(0, actual);
    }

    /**
     * @utbot.classUnderTest {@link A}
     * @utbot.methodUnderTest {@link A#result(long, int)}
     * @utbot.returnsFrom {@code return (int) (a < 0 ? a + b : a);}
     */
    @Test
    @DisplayName("result: return (int) (a < 0 ? a + b : a) : True -> return (int) (a < 0 ? a + b : a)")
    public void testResult_A0aba_1() {
        A a = new A();

        int actual = a.result(-255L, -255);

        assertEquals(-510, actual);
    }
    ///endregion

    ///endregion
}