Description

Substitute this text with a concise description of the proposed change. Emphasize, why particular solution was chosen.

Fixes#1467

Type of Change

Please delete options that are not relevant.

• Minor bug fix (non-breaking small changes)
• Bug fix (non-breaking change which fixes an issue)
• Refactoring (typos and non-functional changes)
• New feature (non-breaking change which adds functionality)
• Breaking change (fix or feature that would cause existing functionality to not work as expected)

How Has This Been Tested?

Regression and integration tests

Please, provide regression or integration tests for your code changes. If you don't do that, the reviewer can and highly likelywill reject the PR. It is the contributor's responsibility to provide such tests or to reason why they are missing.

Automated Testing

Specify tests that help to verify the change automatically.

Example: org.utbot.examples.algorithms.BinarySearchTest

Manual Scenario

Please, provide several scenarios that you went through to verify that the change worked as expected.

Checklist (remove irrelevant options):

This is the author self-check list

• The change followed the style guidelines of the UTBot project
• Self-review of the code is passed
• The change contains enough commentaries, particularly in hard-to-understand areas
• New documentation is provided or existed one is altered
• No new warnings
• New tests have been added
• All tests pass locally with my changes