Implement ProhibitReusedNames