Don't use fuzzy_and for the Symbol handler

Since this is trying to merge the two assumptions system, if one gives True
and the other None, we should return True, not None, since that just means
that it was smarter than the other.