GREEN: test_that_adition_happens_correctly