Add tests for seqan bugs