Try testsuite with alt-ergo, too