[GiNaC-list] retrieving wildcard replacements on C++