fix/bound debugging output in backtracking search