Feature/setops

fix unused variable warnings produced with clang++ and -Wextra