Goal:
  
  ============================
   (forall x : t, parse (print x) = x)


DEBUG:Going to execute:
induction x; simpl; intros