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