// Determine the loop increment.
int increment = 0;
if (counterStmt.getRightOp() instanceof AddExpr) {
AddExpr addExpr = (AddExpr) counterStmt.getRightOp();
Value incrementValue;
if (addExpr.getOp1().equals(counterLocal)) {
incrementValue = addExpr.getOp2();
} else {
incrementValue = addExpr.getOp1();
}
if (!Evaluator.isValueConstantValued(incrementValue)) {
continue;
}