A-NOT-A testsuite