Don't try to auto-rename on instantiation. User can copy-lemma for that.