Re: Pattern matching in GiNaC CVS