crash when checking buggy transformation with wide integers

[regehr]

regehr@john-home:~/alive2/build$ ./alive -root-only foo.opt 
Processing foo.opt..

----------------------------------------
  %nx = add i65 %x, -1
  %r = add i65 %nx, 3
  ret i65 %r
=>
  %r = i65 %x
  ret i65 %r

alive: ../tools/transform.cpp:41: void print_varval(std::ostream&, const smt::Model&, const IR::Value*, const IR::StateValue&): Assertion `e.isUInt(n)' failed.
Aborted
regehr@john-home:~/alive2/build$ 

[regehr]

manasij noticed this

[nunoplopes]

fixed, thanks!