Automatic term names property test
Some output formatter tests

Only repeats remain