In 6.2.73306, compiler no longer crashes.  Instead, system execution fails with
violation of postcondition `same_g' of {TEST2}.feature_with_old.