[GiNaC-list] normalization ambiguity