Support conditional branching in SE

[pavel-mikula-sonarsource]

Branch only if block is reachable based on known constraints in the new Symbolic Execution engine.

var b = true;
if(b)
{
    // This should be explored
}
else
{
    // This should not be explored, because b had True constraint
}

Learning constraints on the way is in #5395