sane names in Cudd.Convert