Formulae test moved to GTest environment.