Goal:
  
  ============================
   (forall (A : Type) (m : tree' A), exists i : positive, get' i m <> None)


DEBUG:Going to execute:
induction m; simpl