(* folding should not allow circular dependencies *)

Lemma bug_fold_unfold : True.
  set (h := 1).
  fold h in h.