Implement checking of injectivity condition written by the user