Deleted testsuite_backtrack because all must work with testsuite