Verifying addition statements