[GiNaC-list] Debugging with GiNaC