New ambiguity minimisation type: min1a (similar to min1 but we reset the counter as soon as we find a smaller cfg)
Min1a is experimental, and set the number of iterations to 50 for now. Possibly later we pass this as an option to AmbiMin