Adding pending definitions to UserTrait