A property that is never satisfied should not cause infinite loops
Class should be abstract to avoid warnings
Renaming the Shrinking class to make its algorithm explicit
Extracting TestTrait for non-invasiveness of tests using Eris
TestTrait can contain fields too
Copied LICENSE from Recruiter 2.0
Accomplished some TODO