TOWARDS AUTOMATED ERROR LOCALIZATION IN C PROGRAMS WITH LOOPS