let get_bindings_term st my_var typ =
  Logic_const.term (TLval (get_bindings st my_var)) typ