Improving the search of discriminants.
Improving the search of discriminants.

1) If type is a discriminant, return the first directClass.
2) Only consider new discriminants, not the ones already used in the current description.

severin-lemaignan/dialogs