Refactor Alias cop
Add new cop Not