All repositories concerning definitions are now completely tested