sbool mechCIContains(S listName, S a) {
  ret mechCISetContains(listName, a);
}