Модификация метода построения тестов для конечных автоматов относительно неразделимости