DaeVarInfo provides additional information about the index reduction