coverage operators based on FIFO and partial order [ as of corporate 236de3da2182ccca7cc37ea875b2625adc2f328b ]