Correctness of compaction_suitable condition