/// <summary>
/// If the block is a procedure definition or procedure call/reference, it returns the name of the procedure.
/// </summary>
public static string GetProcedureName(Block block)
{
ProcedureMutator procedure = block.Mutator as ProcedureMutator;
return(procedure == null ? null : procedure.GetProcedureName());
}
