This problem does not seem to be completely fixed.  If I melt with the  class
and config file from the original report (not freeze) and then execute

marten 44% EIFGENs/test/W_code/test 16777210
Segmentation fault

Execution of frozen code ends normally, with no seg fault or exception trace.

Also, I noticed in the tcf file for eweasel test runtime015 several places where
system was finalized but then the workbench version was executed
(lines 41 and 54 of the tcf).  Unless I am missing something, these
need to be execute_final instructions instead of execute_work.

So I think the tcf file needs to be extended to cover the melted case, as well as
fixing the incorrect "execute" instructions.