public void visit_iinc(final Instruction inst) {
		final IncOperand operand = (IncOperand) inst.operand();
		int incr = operand.incr();

		if (incr < 0) {
			final Expr right = new ConstantExpr(new Integer(-incr),
					Type.INTEGER);
			final Expr left = new LocalExpr(operand.var().index(), Type.INTEGER);

			final Expr top = new ArithExpr(ArithExpr.SUB, left, right,
					Type.INTEGER);

			final LocalExpr copy = (LocalExpr) left.clone();
			copy.setDef(null);
			addStmt(new ExprStmt(new StoreExpr(copy, top, left.type())));
		} else if (incr > 0) {
			final Expr right = new ConstantExpr(new Integer(incr), Type.INTEGER);
			final Expr left = new LocalExpr(operand.var().index(), Type.INTEGER);

			final Expr top = new ArithExpr(ArithExpr.ADD, left, right,
					Type.INTEGER);

			final LocalExpr copy = (LocalExpr) left.clone();
			copy.setDef(null);
			addStmt(new ExprStmt(new StoreExpr(copy, top, left.type())));
		}
	}