Related to #1704, if we had a consistent hypothesis throughout a definition, Wingman could notice that there is already provenance from a given value. Therefore, it must have already been destructed, and we shouldn't suggest it. That would clean up a lot of the spurious suggestions.
