Declarations/UniquePropertyNames.ql