A class redefine a routine with an old expression in the
postcondition, then it would crash while evaluating the
old expression in melted mode only.

Discovered in release 5.9.0909.