This predicate is designed to be used as a variable selection method with generic search (lib(gfd_search)), and should be used with gfd_search's delete/5 and search/6. The effect is to select the first variable with the the largest value of (domain size)/(number of constraints). (rounded to the nearest integer)