deal with free DB terms in FoSubst.apply_subst; bugfix in get_vars
deal with free DB terms in FoSubst.apply_subst;
bugfix in get_vars

c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition