Added ProcedureDefinitionChecker