Adding better backtracking support