added a regression test
bugfix: using the same ExitSequence exception in take and is_empty cannot work