add test cases for interp-store.rkt