Approximate Modeling for Debugging of Program Loops