A system is frozen without a precompiled library.  Then an instruction
`print ((<<int64, int64>>).item (1));' is added to the body of the
root creation procedure and changes are melted. System execution then
dies with a precondition violation (index_small_enough), though it
should not.

Reported by Manu in release 5.1.12.