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