Hyper-arc constraints propagation is done.
Domain elements have now the info about their validity.