Update SPA/DesignExtractor.h