(self, current, tokens)
return SmtLibCommand(current, [levels])
(push <numeral>)
(push <numeral>)
( push <numeral > )
def _cmd_push(self, current, tokens):
        """(push <numeral>)"""
        elements = self.parse_atoms(tokens, current, 0, 1)
        levels = 1
        if len(elements) > 0:
            levels = int(elements[0])
        return SmtLibCommand(current, [levels])
def _cmd_push ( self , current , tokens ) : elements = self . parse_atoms ( tokens , current , 0 , 1 ) levels = 1 if len ( elements ) > 0 : levels = int ( elements [ 0 ] ) return SmtLibCommand ( current , [ levels ] )