Abstract over the structural induction instantiator in the test suite runner