fixed the commented out test case by realizing that I needed to call the correct reify function in my inner computation