implement region consistency checker