Tests now show how the predc reifier would be used in practice.