A related bug (possibly the same) is to freeze with the attached class and
config file, then Step into Routine, then add Watch expression `Current // 1'.
Click on Step into Routine a few more times and estudio crashes with
no trace of any kind.  However, in this case it doesn't seem to matter
whether or not a precompiled EiffelBase is used - the crash happens
either way.

A third case that also seems like a bug is to freeze with attached class
and config file (using precompiled EiffelBase).  Click on Step into Routine.
Enter watch expression '3 / 1'.  Correctly displays value of 3.  Click on
Step into Routine again.  Now it can't evaluate the expression and says
"type checking failed".  Maybe I'm missing something here but this seems
wrong.