let lvar_of_variable v = match v with VarL (lv, _) -> Some lv | _ -> None