Converting basic model tests to Specter