Apply constraints on Pharo object models and reveal rule breakers. - View it on GitHub