Envoyer par SMS: Statická analýza kruhových nádrží