update isl for a change in constraint ordering