Small refactoring
Added unequality-mod-renaming test