Currently, we normalize each STP before propagating it to the other nodes in the equivalence class.

After discussion in the PR, we think we should explore finishing inferring + propagating STPs and only then normalizing and optimizing the resulting filter (with original and/or derived STPs) on each node. Importantly, we should still only have one normalization step (at the end).