ProcedureExtractor changed into ProcedureModifyExtractor;
ProcedureUsesExtractor added.