added hasNextCP() and nextCP() to the PatchingHistory iterator