По ФЗ достаточно, чтобы кредитор был уведомлен, а включился или нет, это его право. Нигде не сказано, что задолженность остается. В решении АС этот кредитор присутствует, как уведомленный, ссылка в решении ТОЛЬКО на ФЗ, ссылки на ГК - нет. По ГК действительно, как Вы говорите, та к и есть.