parameters: (self,clauses)
return_statement: return History(pure_state(and_clauses(self.post,clauses)),self.maps,self.actions)
docstring: Returns a new history in which the final state is constrainted to
          satisfy "clauses".
docstring_summary: Returns a new history in which the final state is constrainted to
          satisfy "clauses".
docstring_tokens: Returns a new history in which the final state is constrainted to satisfy clauses .
function: def assume(self,clauses):
          """ Returns a new history in which the final state is constrainted to
          satisfy "clauses"."""
  #        print "assume post: {}".format(self.post)
  #        print "assume: {}".format(clauses)
          if isinstance(clauses,tuple):  # a pure state
              assert is_pure_state(clauses)
              clauses = clauses[1]
          clauses = rename_distinct(clauses,self.post) # TODO: shouldn't be needed
          return History(pure_state(and_clauses(self.post,clauses)),self.maps,self.actions)
function_tokens: def assume ( self , clauses ) : #        print "assume post: {}".format(self.post) #        print "assume: {}".format(clauses) if isinstance ( clauses , tuple ) : # a pure state assert is_pure_state ( clauses ) clauses = clauses [ 1 ] clauses = rename_distinct ( clauses , self . post ) # TODO: shouldn't be needed return History ( pure_state ( and_clauses ( self . post , clauses ) ) , self . maps , self . actions )