Add test for a+b