'Create a dictionary of predicates from the assumptions.
:param assumptions: a list of ``Expression``s
:return: dict mapping ``AbstractVariableExpression`` to ``PredHolder``'

def _make_predicate_dict(self, assumptions):

    predicates = defaultdict(PredHolder)
    for a in assumptions:
        self._map_predicates(a, predicates)
    return predicates
