Take account of injectivity when doing fundeps

Authored by simonpj on Nov 4 2016, 5:43 AM.