let iter_read_lvalue f = function
    ILlvPtr n -> f n
  | ILlvVar _ -> ()
  | ILlvTemp n -> f n