Description

• Add branch coverage instrumentation (JaCoCo)
• Add branch trace instrumentation (JaCoCo with some modifications)

How to test

Automated tests

The proposed changes are verified with tests:
utbot-instrumentation-tests/src/test/kotlin/org/utbot/examples/TestBranchCoverageInstrumentation.kt
utbot-instrumentation-tests/src/test/kotlin/org/utbot/examples/et/TestExecutionBranchTraceInstrumentation.kt

Self-check list

Check off the item if the statement is true. Hint: [x] is a marked item.

Please do not delete the list or its items.

• I've set the properlabels for my PR (at least, for category and component).
• PRtitle anddescription are clear and intelligible.
• I've added enoughcomments to my code, particularly in hard-to-understand areas.
• The functionality I've repaired, changed or added is covered withautomated tests.
• Manual tests have been provided optionally.
• Thedocumentation for the functionality I've been working on is up-to-date.