also consider sets that appear everywhere * spot/twaalgos/cleanacc.cc, spot/twaalgos/cleanacc.hh: Here.