Hexagon: Test case to check if branch probabilities are properly reflected in