Add 4.00.1+check-injectivity