giorgiosironi/eris — pull request #18 by giorgiosironi (2014-12-13 10:42:11+00:00)
Title: Proposed refactorings for shrinking algorithm

Extraction of some duplication to pursue readability.