1 2 3 4 5
(* folding should not allow circular dependencies *) Lemma bug_fold_unfold : True. set (h := 1). fold h in h.