Modified implementation of COMPUTE-OWNED-VARIABLES.
Model the layout routine after the HIR interpreter in Cleavir.