ProcedureExtractor updated.