Moves filter normalization into BooleanSimplification rule