keel.Algorithms.Discretizers.Basic