Remove a special case of Minus_Tight from priority().
This does not need to be a special case, since it calcluated the same by the common case.
The priority is already specified in the prims table and specifying it redundantly in priority() violates the DRY principal.
