/// <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);
}
}
