update progToBytecodeScript.sml for change to observable values