let get_bindings st my_var =
  let my_lval = TVar my_var, TNoOffset in
  match st with
      None -> my_lval
    | Some st ->
      let (_,idx) = memo_multi_state st in
      Cil.addTermOffsetLval (TIndex (Logic_const.tvar idx,TNoOffset)) my_lval