[ref_impl_eiffel] [1540] added void safety preconditions and void checking statements to archetype_wrapper_generator .e

Revision: 1540
Author: seref.arikan
Log Message: