Updated Modifies Procedure method for DE #35

Add the setModifies(STMTNUM,vector<VARINDEX>)