Adding 'Contract.Requires()' to 'AlphaToken'