[GiNaC-devel] is_exactly_a