#NEWLINE# def set_postconditions( self , conditions ) : #NEWLINE# #INDENT# 'Add a postcondition to the analyzer.\n        ' #NEWLINE# for cond in conditions : #NEWLINE# #INDENT# self . _solver . add ( self )