extractvalue printing/lexing issues

[LebedevRI]

Given

Name: res is undef
  %X = umul_overflow i8 %a, undef
  %Op = extractvalue %X, 0
  %Ov = extractvalue %X, 1
=>
  %X = umul_overflow i8 %a, undef
  %Op = undef
  %Ov = 0

it is printed as:

$ ~/src/alive2/build-Clang-release/alive -smt-to:100000 /tmp/test.opt 
OMP: Info #270: omp_set_nested routine deprecated, please use omp_set_max_active_levels instead.
Processing /tmp/test.opt..

----------------------------------------
Name: res is undef
  %X = umul_overflow i8 %a, undef
  %Op = extractvalue {i8, i1} %X, 0
  %Ov = extractvalue {i8, i1} %X, 1
=>
  %X = umul_overflow i8 %a, undef
  %Op = undef
  %Ov = 0

<...>

But if you copy %Op = extractvalue {i8, i1} %X, 0 back into the test.opt

$ ~/src/alive2/build-Clang-release/alive -smt-to:100000 /tmp/test.opt 
OMP: Info #270: omp_set_nested routine deprecated, please use omp_set_max_active_levels instead.
Processing /tmp/test.opt..
Parse error in line: 3: [Lex] couldn't parse: '{i8, i1} %X, 0
 '

So i think it should either not print {i8, i1}, or not fail to lex it.