class BlifUtils::AST::BlackBox