(self, current, tokens)
return SmtLibCommand(current, elements)
(set-info <attribute>)
(set-info <attribute>)
( set - info <attribute > )
def _cmd_set_info(self, current, tokens):
        """(set-info <attribute>)"""
        elements = self.parse_atoms(tokens, current, 2)
        return SmtLibCommand(current, elements)
def _cmd_set_info ( self , current , tokens ) : elements = self . parse_atoms ( tokens , current , 2 ) return SmtLibCommand ( current , elements )