Исправлен NEXT_ARM_MEM_cond_comp чтоб аргумент был типа term и NEXT_ARM_MEM_conj_comp сделан видимым в сигнатуре