Update DesignExtractor.h