let depends_il0lvalue =
  function
      ILlvPtr(id) -> singleton id
    | ILlvVar _ -> empty
    | ILlvTemp(id) -> singleton id