Control flow graph edge labels.