let
fold f s =
Term
.
Var
.
Map
.fold f s.post