Add missing returns in Add.deduce_in_number_set()#339

wdcraft01 wants to merge 1 commit intomastersandialabs/Prove-It:masterfrom

338-some-returns-missing-in-Add.deduce_in_number_set()sandialabs/Prove-It:338-some-returns-missing-in-Add.deduce_in_number_set()Copy head branch name to clipboard