Alfa-BDD: Как масштабировать BDD и побеждать айсберги