FD.dom is working as in the old mozart.
Added FD.domain propagator used to narrow variable domains.