This test case no longer causes an illegal metamorphose type when system is executed, which is what it used to do. Now execution terminates normally. However, when code is melted system execution prints "TEST1" and when system is frozen, execution prints "POINTER". So there is still a bug here but the symptoms are different.