// If there are processes to interleave and the maximum depth has not been
// reached then perform one step of the exploration algorithm.
// If there are processes to interleave and the maximum depth has not been
// reached then perform one step of the exploration algorithm.