Tests passing with reified properties