It implements the algorithm in "Faster linearizability checking via P-compositionality": https://arxiv.org/pdf/1504.00204.pdf