changed read variables of ArrayAccessExpressions with ne indices