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