let change_to_self entry =
                  function | Snterm e when e == entry -> Sself | x -> x