Added an additional test for checking formulae