Describir: Characterization of the Congestion Lemma on Layout Computation