Make sure to pass out the new closed set from inferBinds
Make sure to initialize iClosed with the imported environment