bug in normalization from rewriting to iterative procedure from a recursive one. stomped.