let bracket_exp = function
  | Lval (Var x,off) -> 
      (match brackets_off off with 
         | Some n -> Some(x,n)
         | None -> None)
  | _ -> None