Added message to requirement that lb<=ub for interval domains
Improved constants management