Add support for Artificial Errors in Summaries

[sofurihafe]

Description

This PR add support for ArtificialErrors in summaries.
Now, if we want to generate a test for method, where some suspecious behavior was detected by engine (such as Overflow), instead of treating it as a throwable, we notify that an error was occurred. See the following.
Consider the following method:

public short shortMulOverflow(short x, short y) {
    return (short) (x * y);
}

Now, generated code should look like this:

/**
 * @utbot.classUnderTest {@link OverflowExamples}
 * @utbot.methodUnderTest {@link org.utbot.examples.math.OverflowExamples#shortMulOverflow(short,short)}
 * @utbot.returnsFrom {@code return (short) (x * y);}
 */
@Test
@DisplayName("shortMulOverflow: -> return (short) (x * y)")
public void testShortMulOverflow_ReturnXy() {
    OverflowExamples overflowExamples = new OverflowExamples();
    
    short actual = overflowExamples.shortMulOverflow((short) -32, (short) -94);
    
    assertEquals((short) 3008, actual);
}

/**
 * @utbot.classUnderTest {@link OverflowExamples}
 * @utbot.methodUnderTest {@link org.utbot.examples.math.OverflowExamples#shortMulOverflow(short,short)}
 * @utbot.detectsSuspiciousBehavior in: return (short) (x * y);
 */
@Test
@DisplayName("shortMulOverflow: return (short) (x * y) : True -> DetectOverflow")
public void testShortMulOverflow_DetectOverflow() {
    OverflowExamples overflowExamples = new OverflowExamples();
    
    overflowExamples.shortMulOverflow((short) 252, (short) 132);
    fail("Overflow detected in 'shortMulOverflow' call");
}
///endregion

///endregion

Pay attention to the new "utbot.detectsError" info block of the second test.

Also, extra summary test was added in order to fixate the behavior.

Fixes #1739

How to test

Automated tests

utbot-summery-tests.

[EgorkaKulikov]

!

[EgorkaKulikov]

encounter -> detect