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