add test for reify