let register_inst_local session_id vars =
  register_list_of_var session_id
    (List.map (fun var -> var#get_id) vars)