Add check-injectivity