Shallow backtracking