[GiNaC-list] variable isolation