Prediction failure is now handled by backtracking.