[GiNaC-devel] Small simplify_indexed() patch