The goal returned by this function performs restart on goal g. This goal creates a choice point where the left branch calls g with a fail limit of failLimit and then calls itself on the right branch with failLimit = failLimit * factor (with factor remaining unchanged). In other words, it runs g with a maximum number of fails equal to failLimit and then it runs it again with failLimit * factor as the new maximum number of fails and so on. For an example of how to use this goal, see "Using Impacts during Search" in the IBM ILOG Solver User's Manual.