Update SPA/DesignExtractor.cpp