Adding all-distinct to list of logic problems