Machinery for processing random effect formulas
