debugging backtracking