sbool mechCISetContains(S listName, S a) {
  ret mechCISet(listName).contains(a);
}