--- GlobalValueMap: 42: - Live: true TypeTests: [123] TypeIdMap: typeid1: TTRes: Kind: Unsat SizeM1BitWidth: 0 ...