If -notranslate is used, dump the high-level ICE.
Make dump() output format closer to the input bitcode.