Defining the object invariant method for 'WSpToken'