Problemas con empty al evaluar respuesta de __get

[bng5]

Tenés razón: empty llama primero a __isset y si esta devuelve true, llama luego a __get.
Muchas gracias.

También tenés razón en que empty no es una función, sino language construct. Ya estoy leyendo al respecto y experimentando con sus diferencias frente a funciones 'built-in'.
Pero no me parece que esa sea la justificación de que empty llame a __isset primero.

O sea: me resultó muy útil tu respuesta y me abriste un camino para buscar información sobre language construct, pero por lo que estoy viendo no es porque sea language construct, sino porque es su comportamiento.