(self, current, tokens)
return SmtLibCommand(current, [expr])
(assert <term>)
(assert <term>)
( assert <term > )
def _cmd_assert(self, current, tokens):
        """(assert <term>)"""
        expr = self.get_expression(tokens)
        self.consume_closing(tokens, current)
        return SmtLibCommand(current, [expr])
def _cmd_assert ( self , current , tokens ) : expr = self . get_expression ( tokens ) self . consume_closing ( tokens , current ) return SmtLibCommand ( current , [ expr ] )