limiter l'introduction d'abstractions

[mikalziane]

En vérifiant ces points :

1. on n'abstrait que ce qui est utilisé dans une violation (pour une violation de contenance ça ne semble pas utile). Cette vérification est probablement déjà faite.
2. on n'abstrait pas s'il existe déjà une abstraction équivalente