Removed unused isElementOf

Since 9347e05 isElementOf is not used