isl_tab: store index of variable in undo record instead of pointer to variable