added partial order reduction for interleavings