It should never be null if if e2->Ety is a TYstruct. Otherwise, it might be null. That's why it's this way.