Dissimilarity constraints now work in an AND/OR tree