let gentemp e t : temp_id * il0 = 
  let i = new_tempid () in
  i, make_il0 (IL0stmtDefTemp(i, t, e))