Adding the backtracking structure to the solver