test case for inconsistency checking