This version contains the backtracking commit code