Define an exection graph, and verify all possible execution orderings. - View it on GitHub