Име на инварианта: Изход от функция
Kатегория: Функции

Описание:
Извеждане на помелива от функция

Изглед на инварианта:
return a;

Пемплейт:
return <span class="is2_var">a</span>;