public ProgramClause this[string procedureName] { get { return (ProgramClause)_labels[procedureName]; } }