Make sure reasoner runs during tests.