added forward and backward management when inserting a value into the domain
begin to merge constraint and relation