Update DesignExtractor.cpp