Sort childSort = getSort(child); if (listSorts.contains(expectedSort) && !(subsorts.lessThanEq(childSort, expectedSort) && listSorts.contains(childSort))) {
Sort childSort = getSort(child); if (listSorts.contains(expectedSort) && !(subsorts.lessThanEq(childSort, expectedSort) && listSorts.contains(childSort))) {