Simplifying Contract-Violating Traces - Christian Colombo 001; Adrian Francalanza; Ian Grima (FLACOS, 2012)