Zaslať SMS: Statická analýza kruhových nádrží