Lowering: a static optimization technique for transparent functional reactivity