FormulaNormalizer tests + bugfix