FindGreaterFailingTest + print number of refinement steps in the statistics at the end of Panda run