Thinking about region arithmetic tests