keel.Algorithms.Preprocess.Transformations.min