Repair abstraction violation