Add reify-1st tests