Changed name of the test for the addition to ‘EC_test_addition’