Add dependency resolver checking constraint rules