Fall back gracefully when sum factorisation fails.#207

dham wants to merge 1 commit intomainfiredrakeproject/fiat:mainfrom

dham/sum_factorisation_fallbackfiredrakeproject/fiat:dham/sum_factorisation_fallbackCopy head branch name to clipboard