Wenn die Augen nur angeschaut wurden, würde ich auf mal sowas wie Augeninnendruck messen etc in Betracht ziehen. Also falls es vorher keine andere eindeutige Erklärung gibt.
Beim erhöhten Augeninnendruck wird das Auge größer, sollte bei der Augenkontrolle auffallen.