At certain places, the name IMR is incorrect. We should call these values "Identity Hash" instead. See https://github.com/BlockstreamResearch/simplicity/pull/277