Update DesignExtractor.cpp

Add insertProcModifiesUses