PyExZ3未检测到程序全部可行路径，结果存疑求解答

我编写了一个PyExZ3的小型示例，但未达到预期效果。示例代码如下：

def d1(x,y):
  if y < x - 2 :
    return 7
  else :
    return 2

def d2(x,y):
  if y > 3 :
    return 10
  else:
    return 50

def d3(x,y):
  if y < -x + 3 :
    return 100
  else :
    return 200

def yolo(a,b):
  return d1(a,b)+d2(a,b)+d3(a,b)

def expected_result():
  return [ 112, 157, 152, 217, 212, 257, 252]

将上述代码保存为FILE.py后，在Windows环境执行命令.\pyexz3.py FILE.py --start yolo测试。我预期yolo函数有7条可行路径，但仅检测到6个唯一结果，其中一个结果（251）重复出现。请问是我的预期错误还是PyExZ3返回结果有误？

内容的提问来源于stack exchange，提问作者zajer