Tests for NullReasoner