let rec lookup ~var model =
   (*just try to look up the variable directely*)
   try 
      List.assoc var model
   with 
      Not_found -> raise Var_unbound