Reasoner state and tests