* spot/twaalgos/complement.cc: removed unused code * tests/python/except.py: test for exception raised