I guess empty tests are not enough to satisfy emma