როგორ ეწოდება შემოწმება, როგორიცაა if ('payload' in data), რომელიც გამოიყენება ტიპის შემცირებისთვის?