support for newly added IntVar-IntVar dom constraints