Fill a code contract assertion crack