Make public template string of unit test of 'Inverse' constraint