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

Fixes # (issue)

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)

Specify tests that help to verify the change automatically.

Example: org.utbot.examples.algorithms.BinarySearchTest

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

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