Fixing a problem when Among is already satisfied at imposition that exposes a bug of interplay between impose and consistency method.
Merge remote-tracking branch 'origin/master'