fix top-level expr tests
remove previous initial IID file in jalangi.instrument()