(self, *assumptions)
Add an assumption.
Add an assumption.
Add an assumption .
def add(self, *assumptions):
        """Add an assumption."""
        for a in assumptions:
            super(AssumptionsContext, self).add(a)
def add ( self , * assumptions ) : for a in assumptions : super ( AssumptionsContext , self ) . add ( a )