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