AlgState gets remapped, so this still doesn't work quite right