fix code that shrinks counter examples