Added AddingFormulas.java and the test case