Avoid same term in one dictionary

No double entries in add_term possible anymore!