[GiNaC-list] is ginac thread safe for this case?