remove unnecessary functions in shadow resolution
free upcall_list entries in time AND avoid unnecessary upcalls