A C# program to test if transactions are serialisable. For use on the CA420 module.