Re: [GiNaC-list] Substitution and re-evaluation