Let kPresent be the result of calling the [[HasProperty]] internal method of O with argument ToString(k) ...