'Add new assumptions to the assumption list.
:param new_assumptions: new assumptions
:type new_assumptions: list(sem.Expression)'

def add_assumptions(self, new_assumptions):

    self._assumptions.extend(new_assumptions)
    self._result = None
