pre/post condition tester