Program for finding all possible injectivity conditions