StdRefinement.MAX_ORDER_COUNT

Max recursion count for order_less function

class StdRefinement
enum MAX_ORDER_COUNT = 10;