Lines Matching full:inconsistencies
182 the formation of cycles of locks. Detecting such inconsistencies is