A piece of code that finds a predecessor of min value.