let
is_empty s = (s.post ==
Term
.
Var
.
Map
.empty)