Auto-Test philosophy engine with counter example [OK]