Rank analysis in Lucid is crucial for efficient implementation. The GLU compiler uses a set of simple rules for determining the rank of every term, and iterates these rules until it reaches a fixed point. As it is impossible to exactly determine the rank in some cases, the GLU compiler deliberately overestimates the rank where it cannot determine it exactly.

• glu-rank.ps