let pred g v = fold_pred (fun n l -> n :: l) g v []