Add injectivity information to FamInst and interface files