Better solution for testing

my_make is not a nice name for a creation procedure.

anyway, here `initialize' exists for this kind of need .. to initialize data or param specific to the application.

Otherwise you could have just "redefine" make_and_launch, and use Precursor to .. call the inherited code.
I let you check that great Eiffel functionality: redefine and Precursor