ADD: JUnit Testrunner for formulas