A step in a graph is a triple of adjacent node, edge, node. A StepSpec describes a set of steps of interest.