Testing C-elements is not elementary | IEEE Conference Publication | IEEE Xplore