let
lvar lmap x =
try
Logic_var
.
Map
.find x lmap
with
Not_found
->
get_user_variable x