/// <summary> /// name or rename a procedure for a single block. /// </summary> public static void SetProcedureName(Block block, string newName) { ProcedureMutator procedure = block.Mutator as ProcedureMutator; if (procedure != null) { procedure.SetProcedureName(newName); } }