Avoid a void

[Ronaldo Ferraz]

Artigo muito interessante para garantir a dereferência de
ponteiros/objetos nulos em Eiffel, funcionalidade já implementada na
linguagem:
http://lambda-the-ultimate.org/node/3558

Ecos das nossas discussões prévias. Antes que alguém pergunte, sim,
Eiffel é estaticamente e fortemente tipada. :)

Abraços,

R.