Identical or contradictory@utbot.executesCondition for assert in user code

[tyuldashev]

Description
When there is assert in user code there could be @utbot.executesCondition which are either the same or contradictory.

To Reproduce

1. Install UnitTestBot plugin built from main in IntelliJ IDEA
2. Set Symbolic = 100%
3. Generate tests for following code:

    public int separatorEquality(String s) {
        assert(s == null);

        if (s.equals("1")) {
            return 1;
        } else {
            return 0;
        }
    }

Expected behavior
There are NO identical or incompatible values for @utbot.executesCondition tag values. In this case it's one of: {@code (assert (s == null);): True} or {@code (assert (s == null);): False}

Actual behavior
Two tests are generated one contains contrary tags:

     * @utbot.executesCondition {@code (assert (s == null);): True}
     * @utbot.executesCondition {@code (assert (s == null);): False}

Second one the same tags:

     * @utbot.executesCondition {@code (assert (s == null);): True}
     * @utbot.executesCondition {@code (assert (s == null);): True}

Screenshots, logs