moved the String to Formula test from the experimental class to the controller test class
added a test and for it a method that states whether two Formulas are logical equivalent