Testing addition with a symbol and an argument