Вкладені алгоритмічні структури з передумовою та лічильником