This tests the implementation of FormulaeView