Add the Cassandra's simulator and constraint formalizer part. This is
same as used for our ICSE 2013 paper.