addUFConstraints

[king-mahdi]

Considering the new implementations for adding domain info using instantiation, this function should be removed, especially since it is not being used at all.