Confluence check: improve performance by assuming the execution scheme (checking only for that order)

We did a similar change already for the bounded response check (#971 (closed)), which helped a lot.

Addresses #892