(self, formula)
This is a complete printer
This is a complete printer
This is a complete printer
def walk_threshold(self, formula):
        """This is a complete printer"""
        raise NotImplementedError
def walk_threshold ( self , formula ) : raise NotImplementedError