Concrete execution error on usage of stream `.toArray`

[tyuldashev]

Description
For example when user code contains IntStream.toArray() concrete executor fails during test generation

To Reproduce

1. Install UnitTestBot plugin built from main in IntelliJ IDEA
2. Open UTBotJava project
3. Set 100% Symbolic execution
4. Generate tests for org.utbot.examples.stream.IntStreamExample#useParameterStream or for following code:

    int[] useParameterStream(IntStream s) {
        return s.toArray();
    }

Expected behavior
Tests are generated

Actual behavior
There are errors in the tests

    public void testUseParameterStream_errors() {
        // Couldn't generate some tests. List of errors:
        // 
        // 2 occurrences of:
        // Default concrete execution failed

    }

Screenshots, logs
utbot-engine-current.zip

[tyuldashev]

Probably related pull request - #912

[tyuldashev]

The same with other stream samples:

• DoubleStreamExample
• LongStreamExample