bug with gwdeg: no culprit when backtracking because of the bound