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