Describir: Statická analýza kruhových nádrží