Enumeration TraverseEdgeConst

Always traverse this edge

Do not traverse this edge

Traverse this edge if the definition is relevant (i.e., if two matching edges trigger this state)

Traverse the edge as a side effect