let
name_of_var v =
Fol
.
Var
.var_name v