SE: Branch away from fixed-count loops

[Tim-Pohlmann]

For i As Integer = 0 To 9
    '  Do Something
Next
Monitor.Enter(Other)    ' FN, exploration stopped after loop
If Condition Then Monitor.Exit(Other)

Due to #7174 and #7142 code after Next will not be explored.

Note: Check if something similar can happen here:

var i = 0;
while (result is null)
{
    i++;
    if (i > 10)
        result = i;
}

[pavel-mikula-sonarsource]

Same for C# for loops with i++
This is tricky, because of combination of visiting for cycles only twice and fixed-number loops.

for(var i=0; i<10;i++)
{
  // Visited for 0
  // Visited for 1
}

Simple implementation will cause that the for is never existed and this line is not visited

[pavel-mikula-sonarsource]

This applies to any fixed-count loop, also like

            var i = 0;
            while(i < 10)   
            {
                i++;
            }
            // Not visited

[pavel-mikula-sonarsource]

We need to prevent Binary.BoolConstraintFromOperation from learning True. That will let LearnBranchingConstraint to infer i=0..10 and i != 0..10 and branch out of the loop.

This should happen only if the branching is a loop-branching condition => one branch loops back, the other one does not.