Fixed a bug in getModifiesProc and getUsesProc

Should be _procModifies instead of _varModifies