Fixes idris-lang/Idris-dev#971. 

Renames induction holes such that they are unique in context.